IIRC yes - it's rare, but I think there is hardware out there with
32bit EFI and 64bit CPUs.

Correct, early MacBooks are of this type. I own one, a MacBook 2,1.

Regards,
Jeroen

Reply via email to