> - kaiser: add "nokaiser" boot option, using ALTERNATIVE O.k. for clarification; does GRUB_CMDLINE_LINUX_DEFAULT="nokaiser" in /etc/default/grub disable kaiser at boot time then?
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1741609 Title: linux: 3.13.0-139.188 -proposed tracker To manage notifications about this bug go to: https://bugs.launchpad.net/kernel-sru-workflow/+bug/1741609/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
