PACKAGES: gnu-efi-src gnu-efi-dbg gnu-efi-staticdev gnu-efi-dev gnu-efi-doc gnu-efi-locale gnu-efi
