Name
disable_8254_timer — Disable interrupt 0 timer routing over the 8254 chip.
Description
Disable interrupt 0 timer routing over the 8254 chip in
addition to routing
over the IO-APIC. The kernel tries to set a reasonable default but
sometimes this option is necessary to override it.