Comment 1 for bug 1569567

Revision history for this message
Dave Chiluk (chiluk) wrote : Re: Running update-grub on ppc64el does not update /boot/grub/grub.cfg with options from GRUB_CMDLINE_LINUX_DEFAULT

Apparently update-grub was using kexec-tools.cfg, and completely ignoring /etc/default/grub as I expected. So that's the workaround, but setting in /etc/default/grub should still work.