8042kbdc: PULSE_LINE appears not to work through devcb2 (nw)