On Sun, Jun 14, 2009 at 1:18 AM, Kevin Kofler<kevin.kofler at chello.at> wrote: > Rui Miguel Silva Seabra wrote: >> That was something I found weird... on an Ubuntu (Jaunty) machine: > > Ubuntu's GRUB is patched for ext4, the patch didn't make F11. Perhaps F12 will move to grub 2? Steve