linuxefi only exists in grub2 on x86