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