Hi, thanks for answering. No, bios only indicates enabled/disabled for HPET. The MB, which I just put in last week, comes with disappointingly few possible user settings in the bios (& I did make sure I had the latest update). In fact, the only mention of 64 I can find is under PCI Subsystem...