I am not at home, but as I recall, the kernel freezes during boot for both the 32 bit and 64 bit versions. The 32 bit version of OpenBSD also freezes during kernel boot but the 64 bit version does not. I know it is not an EFI issue as legacy booting is turned on.