Yeah, I saw that. I'm not aware of any PS/2 kexts I'm using.
I'm running a clean retail based install and the only kexts I'm using are VoodooPS2Controller, JMicronATA, NVkush, dsmos, and AppleACPIPlatform for my board (not sure where that is from, it was in the "v4.4" package for IP35 boards). I have removed AppleIntelCPUPowerManagement and AppleUpstreamUserClient kexts and I'm not using any disabler "nub"'s.
Maybe it's the IP35 AppleACPIPlatform?