[ros-diffs] [cwittich] 27430: -some minor changes to be able to build the driver with PREfast -declare I8042InterruptService* routines as KSERVICE_ROUTINE