Был в списке таймеров HPET (высокоточные часы), теперь по команде его нет в списке:
cat /sys/devices/system/clocksource/clocksource0/available_clocksource
tsc acpi_pm
Почему я уверен, что он был, и что сейчас HPET не сломан? Потому что если запустить дистрибутив с флешки (именно который и ставил), то он появляется.
Проверил журнал, он выдал следующие ошибки:
music@music-VM42:~$ journalctl -r -b | grep "hpet"
Jan 28 12:08:42 music-VM42 kernel: hpet_acpi_add: no address or irqs in _CRS
Jan 28 12:08:42 music-VM42 kernel: hpet: HPET dysfunctional in PC10. Force disabled.Таким образом, само устройство работает, дело именно в системе. Хотелось бы найти причину и устранить.