Comment 125 for bug 254668

Hi Carl, while its good that this seems fixed, I am not sure whether the part
about the EC is the cause. From the many reports it seemed to get more and more
obvious that the IRQ override for IRQ0 is the common problem. So the ACPI BIOS
defines that the timer interrupt is connected to a different pin than 0
(usually 2) but in reality this is not true. AFAIK all the problems could be
worked around by using "acpi_skip_timer_override" on the command line. So maybe
there is an auto override ignore for certain hardware, now.