I noticed that the Genesis IV BIOS contains a setting to load an EFI shell (not that I know what that means, but the letters are similar ). Does it support UEFI booting from the SSD, though? If it does, could someone please explain how to enable it. Thanks