For those of you experiencing this bug prior to release, please run `sudo update-grub` to fix your boot menu.
For those of you experiencing this bug prior to release, please run `sudo update-grub` to fix your boot menu.