clarify that 32-bit EFI doesn't work