Thank you for taking the time to report this bug and helping to make Ubuntu better.
Bug reporting is about finding & fixing problems thus preventing future users from hitting the same bug.
You didn't say what file your paste was from?
Did you perform `update-grub` to update the version that is actually used at bootup? or you're pasting the settings that will be used on next kernel upgrade?
Thank you for taking the time to report this bug and helping to make Ubuntu better.
Bug reporting is about finding & fixing problems thus preventing future users from hitting the same bug.
You didn't say what file your paste was from?
Did you perform `update-grub` to update the version that is actually used at bootup? or you're pasting the settings that will be used on next kernel upgrade?
I suspect a Support site would be more appropriate, eg. https:/ /answers. launchpad. net/ubuntu. You can also find help with your problem in the support forum of your local Ubuntu community http:// loco.ubuntu. com/ or asking at https:/ /askubuntu. com or https:/ /ubuntuforums. org, or for more support options please look at https:/ /discourse. ubuntu. com/t/community -support/ 709