gnu-efi/.gitignore