Re: why doesn't GRUB obey /etc/default/grub?