Ian Molton Sun, 28 Jul 2024 15:02:18 -0700
You can add it in /etc/default/grub
Remember to run update-grub after editing it.