Я, вообще-то в BIOS не силен, и не знаю толком для чего это("HPET Mode"), но думаю, стоит попробовать: в BIOS в разделе "Power Management Setup" посмотреть "HPET Mode". По умолчанию там стоит [32-bit mode], может поможет, если поставить [64-bit mode].