--- drivers/char/keyboard.c~	2007-06-09 01:03:12.000000000 +0100
+++ drivers/char/keyboard.c	2007-06-09 01:38:26.000000000 +0100
@@ -1048,6 +1048,10 @@
 		       unsigned char up_flag)
 {
 	int code;
+    
+    // TAVISO
+    if (keycode >= 256 && keycode <= 263)
+        keycode = KEY_F13 + (keycode - 256);
 
 	switch (keycode) {
 		case KEY_PAUSE:
@@ -1134,6 +1138,10 @@
 	struct tty_struct *tty;
 	int shift_final;
 
+    // TAVISO
+    if (keycode >= 256 && keycode <= 263)
+        keycode = KEY_F13 + (keycode - 256);
+
 	tty = vc->vc_tty;
 
 	if (tty && (!tty->driver_data)) {