Discussed already - use Mroogle. ((Google Mroogle))
The answer, methinks, was yes - there might be something a tidbit interesting about the boot ROM, but it wasn't anything consequential IMO.
right. the 64 bit kernel is the million dollar question. but the kernel will conceivably load before EFI and may not be affected at all by the 32 bit EFI.