> I do not see a similar debug parameter for the psmouse module, so I would
> try libinput tools to get a data point between i8042 and xev.
The "delayed" behavior of the button releases is visible in
libinput debug-events /dev/input/event4
So the problem is somewhere "below".
For reference, here's what `libinput list-devices` says about that
trackpoint device:
Device: TPPS/2 IBM TrackPoint
Kernel: /dev/input/event4
Id: serial:0002:000a
Group: 7
Seat: seat0, default
Capabilities: pointer
Tap-to-click: n/a
Tap-and-drag: n/a
Tap button map: n/a
Tap drag lock: n/a
Left-handed: disabled
Nat.scrolling: disabled
Middle emulation: disabled
Calibration: n/a
Scroll methods: *button
Scroll button: BTN_MIDDLE
Scroll button lock: disabled
Click methods: none
Clickfinger button map: n/a
Disable-w-typing: n/a
Disable-w-trackpointing: n/a
Accel profiles: flat *adaptive custom
Rotation: n/a
Area rectangle: n/a
=== Stefan