On 05/18/2013 06:40 PM, Bill Davidsen wrote: > > > So is dropping the kernel command line options a bug, or deliberate policy? Neither. When you install a new kernel, the file is rebuilt, using /etc/default/grub as a template. If you need to add something permanently, you need to add it there.