So searching on the net for:
[ 446.068109] atkbd.c: Unknown key pressed (translated set 2, code 0x88 on isa0060/serio0).
[ 446.068117] atkbd.c: Use 'setkeycodes e008
reveal this bug report on debian:
Which lead to this page:
Bad luck, this is not working anymore and there is no redirect. Using web.archive I found this page:
Searching for keywords on this page, reveal that this page has moved to:
Pheeww.... that was hard !