allow grub-efi-ia32 boot loader