Es wird sicher keinen 32 Bit UEFI-Port mehr geben. Reine 32 Bit CPUs sind tot und FreeBSD 13.x ist wahrscheinlich die letzte Releaseserie, die sie noch (eingeschränkt) unterstützt. Und die Kombination aus 32 Bit UEFI mit 64 Bit CPU ist eine Obsurität aus der UEFI-Anfangsphase, für die es sich...