gnu-efi package for Maui