Let me put it this way:
Look at my specs, click on my CPUID banner (er, I mean click here -
http://valid.x86-secret.com/show_oc.php?id=375727) and read my overclock specs - and then realize that I run *both* HPET and Hardware virtualization in the BIOS.
Of course, I don't have to tell you that YMMV.