[coreboot] [coreboot - Bug #478] (New) X200 booting takes a long time

[Robert Gruber]

Issue #478 has been reported by Robert Gruber.

----------------------------------------
Bug #478: X200 booting takes a long time
https://ticket.coreboot.org/issues/478

* Author: Robert Gruber
* Status: New
* Priority: Normal
* Target version: none
* Start date: 2023-04-04
* Affected versions: 4.15, 4.16, 4.17, 4.18, 4.19, master
* Needs backport to: master
----------------------------------------
dmesg: TSC found unstable after boot, most likely due to broken BIOS. Use 'tsc=unstable'.
After a period of time the boot finished by auto-switching to hpet. Setting kernel parameter directly to clocksource=hpet the system is booting fast.

Why is the faster clocksource tsc not working and tells coreboot is broken ?