gitdir: ../../.git/modules/external/gnu-efi
