Name
enable_timer_pin_1 — Enable pin 1 of the APIC timer.
Description
Enable pin 1 of the APIC timer. This option can be useful to work
around chipset bugs (on some ATI chipsets in particular.) The
kernel tries to set a reasonable default, but sometimes this option
is necessary to override it.