clocksource — Set the specific clocksource.
clocksource=[hpet|pit|tsc|acpi_pm|cyclone|scx200_hrt]
Override the default kernel clocksource and use the clocksource with the specified name instead.