I spoke too soon. At any rate, I'm going through the 8042 code to try to pinpoint why interrupts seem to be getting dropped. But don't hold your breath...