Comment 11 for bug 1821269

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Edit /etc/default/grub and add them to the line GRUB_CMDLINE_LINUX_DEFAULT...

Then run 'sudo update-grub' and reboot.