On 27/01/14 09:55, Eyal Lebedinsky wrote: > > So again: where does the Fedora BIOS entry come from? Look like an efi entry in the nvram to me. If you boot a Fedora (or Korora) 64bit live image you can probably run the efibootmgr command to see what's going on. sudo efibootmgr -v -c