Add a note about the PIT <-> IOAPIC problem

No. I didn't find a solution to it. I also remember not having read the
thread entirely. Hmm, maybe there is something in the ACPI tables about
that?