[mike661]

I don't recall finding/changing any HPET settings in the bios, so that might be a non-issue.

But I can tell you, the most important setting I had to change was "AHCI" in the Sata menu. And also the "S3" power setting needed to be selected. Other than that using the standard iBoot worked for me.

The only odd thing I ran into was that occasionally I had to restart and try iBoot again, because it would pause on a line when booting maybe 1/5 chances. However, once done, the system boots 100% of the time.

I hope this helps you.