Kernel: 2.6.22-r5
Kernel option: i8042.nomux=1

See attached full dmesg for more.

I have recently updated my kernel to 2.6.22 and - in the same occasion - 
changed various options in the kernel .config; I cannot state that the 
problem have arisen since kernel 2.6.22 but more probably since I 
enabled ACPI.
My recent configuration changes have been also to xorg.conf (regarding 
GLX and AIGLX), but I have no real clue about what is causing the 
troubles. It must be a particular combination of kernel options which 
triggers this faulty scenario.

The first problem I had to solve was about the mouse, not working properly:

-----
psmouse.c: TouchPad at isa0060/serio2/input0 lost sync at byte 1
psmouse.c: TouchPad at isa0060/serio2/input0 lost sync at byte 1
psmouse.c: TouchPad at isa0060/serio2/input0 lost sync at byte 1
psmouse.c: TouchPad at isa0060/serio2/input0 lost sync at byte 1
psmouse.c: TouchPad at isa0060/serio2/input0 lost sync at byte 1
psmouse.c: TouchPad at isa0060/serio2/input0 - driver resynched.
psmouse.c: TouchPad at isa0060/serio2/input0 lost sync at byte 4
psmouse.c: TouchPad at isa0060/serio2/input0 lost sync at byte 1
psmouse.c: TouchPad at isa0060/serio2/input0 - driver resynched.
-----

I fixed it adding i8042.nomux=1 in the kernel options.

The problem which still remains, and I can't fix or work it around, is 
witnessed by the below dmesg lines:
-----
atkbd.c: Unknown key released (translated set 2, code 0xe0 on 
isa0060/serio0).
atkbd.c: Use 'setkeycodes e060 <keycode>' to make it known.
atkbd.c: Unknown key released (translated set 2, code 0xe0 on 
isa0060/serio0).
atkbd.c: Use 'setkeycodes e060 <keycode>' to make it known.
atkbd.c: Unknown key released (translated set 2, code 0xe0 on 
isa0060/serio0).
atkbd.c: Use 'setkeycodes e060 <keycode>' to make it known.
-----
The release event for some keys is never caught, so all sorts of 
troubles happen if for example I use the Del key and it stucks, or if I 
use the Ctrl key and it never gets released...pushing again the stuck 
key brings back the key in the proper status.
I could not find a pattern for the verification of the problem, it seems 
to happen at random.
I /feel/ that this is still an i8042/ACPI chipset issue (note that I 
have ipw2100 active when the problem happens; the mouse problem did not 
happen when ipw2100 was disabled and I think the psmouse.c lines and 
atkbd.c are someway related).

Can somebody please give me some clues about this issue, and possible 
solutions? I have been searching the web for a couple of weeks and seems 
like it is a common trouble of notebook users, but nobody has yet 
published a solution.

Thanks,
--
  Daniele C.