In case anyone is wondering, with GRUB2 (karmic) default kernel boot parameters go in /etc/default/grub, specifically in 'GRUB_CMDLINE_LINUX_DEFAULT'. Editing this file should be followed by a 'sudo update-grub'.
In case anyone is wondering, with GRUB2 (karmic) default kernel boot parameters go in /etc/default/grub, specifically in 'GRUB_CMDLINE_ LINUX_DEFAULT' . Editing this file should be followed by a 'sudo update-grub'.