atkbd.c: Unknown key pressed (translated set 2, code 0x88 on isa0060/serio0)

I was trying to get the combo Fn+F2 working on a DELL MS6300, but got stuck on the following message:

[ 118.586044] atkbd.c: Unknown key pressed (translated set 2, code
0x88 on isa0060/serio0).
[ 118.586044] atkbd.c: Use 'setkeycodes e008 ' to make it known.

I quickly found this page:

* http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=475851

I found out that the hal-info in testing did contained the proper info:

* http://packages.qa.debian.org/h/hal-info.html

But I really got it working for most of the F1 - F12 keys : *after* installing the following package: hotkey-setup:

* http://packages.qa.debian.org/h/hotkey-setup.html

cheers