Converting a Fedora installation from BIOS to UEFI