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.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1569567 Title: Running update-grub on ppc64el does not update /boot/grub/grub.cfg with options from GRUB_CMDLINE_LINUX_DEFAULT To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1569567/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
