jcmvbkbc, Downloads/VBoxEFI64.fd это VirtualBox EFI образ из VirtualBox 6.0.20. Поэтому и ожидаю что это файл в том же формате что и /opt/homebrew/share/qemu/edk2-x86_64-code.fd т. е. его можно загрузить с pflash.
CityCat4, на эту тему гугл оказывается не таким всезнающим. Кажется что VirtualBox EFI никто и не пытался загрузить в QEMU, а если и пытался, то в интернете помалкивал.
А насчёт совместимости: у них не просто одинаковые имена, но и VirtualBox немного похож на QEMU, почему я и подумал, что такое возможно.
Более того, раньше при немного другой конфигурации в серийную консоль выводилось какая-то ошибка связанная с несовместимостью процессора и выравниванием при инициализации системы ввода-вывода.