Ah, yes: and the EFI config grub2-install created for 32 bit did not look fully correct either. But that's a different thing.