Following 77441079dd, the code in Kernel/Devices/HID/MouseDevice.cpp is used by both USB and PS2 rodents. Make sure not to emit misleading debug messages that could suggest that a USB mouse is a PS/2 one.
77441079dd