* Interrupt Tributary:
  * Due to the design change where interrupts of different types are vectored
    separately, I was able to aggressively optimize the IRQ path by splitting
    off into the correct handler case as soon as interrupt context is entered.
    ^ Split interrupt path into pinIrqMain, msiIrqMain, swiMain, and
      exceptionMain
* i8254: Fixed a latency bug during IBM-PC SMP mode switch by increasing the
  disable delay during the switch.