Měl jsem pocit, že jsem to tam někde viděl, ale teď jsem hledal a nenašel.

Pak mám ještě dotazy.
K čemu je HPET Support a HPET Mode.
A pak také je PCI Latency Timer, to by nemohlo mít vliv?