If a test works for EFI, it seems like it also qualifies for x86_64. Maybe the exception to this is for booting, where the x86_64 column indicates x86_64+BIOS, and EFI indicates x86_64+EFI. Right? Chris Murphy