Fix debug print of ps2_mouse