Of course, I have to update grub.cfg through update-grub. What I was trying to explain is that when I do so I can't boot but when I provide the same kernel options through a manual update these options do not work!
In other words, I have manually updated grub.cfg as a workaround to be able to use this machine and as a way to show that the kernel is OK with these options. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/997270 Title: Kernel options not effective when added to /etc/default/grub To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/997270/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
