Question about the latest bios (beta). Maybe it was there before, maye not, but what should I set the HPET timer to, 32bit or 64bit mode? Is there a difference?

Shawn