Ubuntu
linux package

  1. Bug #787590
  2. Comment #16

Comment 16 for bug 787590

Revision history for this message
Seth Forshee (sforshee) wrote :

Ian: You should still be able to select the other kernel by holding Shift just after the BIOS screen disappears until you get the boot menu, then select "Previous Linux versions", and then select the patched kernel. The fix will be in the next proposed kernel, so it shouldn't be too much longer.