Comment 17 for bug 403408

Just for the record, for people who get the repeated "no such device" message and no boot menu:

If you turn on your computer and hold down the shift key, you will get the Grub menu and can then use the instructions in comment #15 to boot your system.