[tesla-dev] 3128 Cleanup interrupt selection for HPET

[Seth Goldberg]

> We also have to investigate how expensive it is to reprogram
> the I/O APIC to target the next waking CPU every time.

   Yuck -- because of previous IOAPIC errata, I'm really not happy about 
touching the IOAPICs once they've been programmed.

  --S