Misc. driver issue tracker

[cl91]

• Fix i8042prt on Gigabyte EG41M-S2H failing to probe PS2 keyboard. This appears to be due to the same issue of PCI issue tracker #29

(/home/chang/src/sel4-ntos/drivers/input/i8042prt/pnp.c:461) i8042PnpStartDevice(0x00424230)
(/home/chang/src/sel4-ntos/drivers/input/i8042prt/pnp.c:509) Found data port: 0x60
(/home/chang/src/sel4-ntos/drivers/input/i8042prt/pnp.c:513) Found control port: 0x64
(/home/chang/src/sel4-ntos/drivers/input/i8042prt/pnp.c:540) Found irq resource: 1
(/home/chang/src/sel4-ntos/drivers/input/i8042prt/pnp.c:373) Check if the controller is really a i8042
NTOS KiDispatchExecutiveServices(903):  Got message label 0x8 length 4 unwrapped caps 0 extra caps 0 badge 0x1130e1
NTOS KiDispatchExecutiveServices(957):  Got driver call from thread 0x101130e0 (i8042prt.sys)
NTOS KiHandleWdmService(513):  Calling WdmEnableX86Port
NTOS KiHandleWdmService(526):  WdmEnableX86Port returned status 0x0. Replying to thread 0x101130e0
(/home/chang/src/sel4-ntos/drivers/input/i8042prt/readwrite.c:188) Sent 0x20 to port 0x64
NTOS KiDispatchExecutiveServices(903):  Got message label 0xb length 3 unwrapped caps 0 extra caps 0 badge 0x1130e1
NTOS KiDispatchExecutiveServices(957):  Got driver call from thread 0x101130e0 (i8042prt.sys)
NTOS KiHandleWdmService(701):  Calling WdmCreateTimer
NTOS KiHandleWdmService(713):  WdmCreateTimer returned status 0x0. Replying to thread 0x101130e0
NTOS KiDispatchExecutiveServices(903):  Got message label 0xc length 4 unwrapped caps 0 extra caps 0 badge 0x1130e1
NTOS KiDispatchExecutiveServices(957):  Got driver call from thread 0x101130e0 (i8042prt.sys)
NTOS KiHandleWdmService(748):  Calling WdmSetTimer
NTOS KiHandleWdmService(761):  WdmSetTimer returned status 0x0. Replying to thread 0x101130e0
NTOS KiDispatchExecutiveServices(903):  Got message label 0xe length 1 unwrapped caps 0 extra caps 0 badge 0x12c031
NTOS KiDispatchExecutiveServices(957):  Got driver call from thread 0x1012c030 (i8042prt.sys)
NTOS KiHandleWdmService(830):  Calling WdmNotifyMainThread
NTOS KeSignalDispatcherObject(355):  Signaling dispatcher 0x10109bf0
NTOS KiHandleWdmService(840):  WdmNotifyMainThread returned status 0x0. Replying to thread 0x1012c030
NTOS KiDispatchExecutiveServices(903):  Got message label 0xb length 3 unwrapped caps 0 extra caps 0 badge 0x1130e1
NTOS KiDispatchExecutiveServices(957):  Got driver call from thread 0x101130e0 (i8042prt.sys)
NTOS KiHandleWdmService(701):  Calling WdmCreateTimer
NTOS KiHandleWdmService(713):  WdmCreateTimer returned status 0x0. Replying to thread 0x101130e0
NTOS KiDispatchExecutiveServices(903):  Got message label 0xc length 4 unwrapped caps 0 extra caps 0 badge 0x1130e1