Для загрузки в EFIx32-x64 используется загрузчик GRUB2 а из Bios более привычный grub4dos. Это тестовая сборка, в связи с тем, что проверка загрузки EFIх32 производилась только в QEMU - надо тестировать на реальном железе. Возможность расширения или урезания функционала сборки, только в ручном режиме.