Minimal (~123KB), reproducible x86_64 FreeBSD/OpenBSD UEFI loader - View it on GitHub