[ 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:
I found out that the hal-info in testing did contained the proper info:
But I really got it working for most of the F1 - F12 keys : *after* installing the following package: hotkey-setup: