Both UEFI and Legacy BIOS are supported on x86_64 machines. Now the
image x86_64 will be bootloaded on both.