Fedora 15 EFI and boot loader question...