efi_loader: re-enable GRUB workaround on 32bit ARM