Esta resposta a uma questão relacionada explica que o A diferença entre essas imagens de disco é que a versão "64-bit Mac (AMD64)" força a inicialização em modo BIOS (em vez de UEFI) para evitar a falta de suporte para CDs multi-catálogo no modo de inicialização EFI de máquinas Mac.
Portanto, parece que eu deveria ser capaz de usar qualquer uma das versões, já que o pseudo-firmware de inicialização é inteiramente um aspecto da VM e não está relacionado ao hardware subjacente.