I see that gani4ug has run into the same problem as me. My motherboard doesn't allow me to follow instruction 8 in tonyxmac86's Sandy Bridge setup list. I'm assuming that these are legacy BIOS options that don't apply with an EFI boot, but I'm not sure what the implications of this might be for iBoot.
Is it ok to ignore step 8?
--
Chris
LATER: OK, the answer in my case is yes. AHCI is set on by default, and although there's no option to set HPET, it seems that it defaults to 64-bit.