Comment 12 for bug 570765

Evan (ev) wrote :

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