GRUB_PLATFORMS="efi-32 efi-64 pc"