Name
enable_8254_timer — Enable interrupt 0 timer routing over the 8254 chip.
Description
Enable 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.