
The contrib dirs contains https://github.com/ncroxon/gnu-efi/archive/refs/tags/4.0.4.tar.gz
with a few build-related and FPU-related adaptions.
