Fwd: Upgrade to F16 from F15 and grub doesn't have menu