[SOLVED] [split] Missing HPET clocksource option

[agent_kith]

tsc acpi_pm

So it looks like you only have the above two as your clock source. I believe TSC is pretty good as well, so that's worth a try

And I've emailed the diagnostic file to the specific email a/c.  Please take your time. 

See this in the system logs:

Code:

hpet: HPET dysfunctional in PC10. Force disabled.

Look in your ACPI or power saving and see if you can disable PC10 state, play around with CPU states and see if you can disable just that, failing that you might need to disable power saving entirely Doing so should get HPET back after a reboot. Let me know how it goes.