This resolves awkwardness with the gnu-efi submodule. Though this builds only the arch-appropriate EFI program, but since it was not used within Nixpkgs, it shouldn't be an issue. Co-Authored-By: Arnout Engelen <arnout@bzzt.net>