Index: kbd/arch/ia32/src/kbd.c
===================================================================
--- kbd/arch/ia32/src/kbd.c	(revision 1ed15cd1fd46a7c5b4916fd3b13fd8ee77b68296)
+++ kbd/arch/ia32/src/kbd.c	(revision 3dd98c7a62141f1f71a657277472e9b4887c61ff)
@@ -100,6 +100,6 @@
 	SPECIAL, /* 0x55 - F11/F12/PF1/FN */
 	SPECIAL, /* 0x56 - unlabelled key next to LAlt */
-	FUNCTION_KEYS | 11, /* 0x57 - F11 */
-	FUNCTION_KEYS | 12, /* 0x58 - F12 */
+	(FUNCTION_KEYS | 11), /* 0x57 - F11 */
+	(FUNCTION_KEYS | 12), /* 0x58 - F12 */
 	SPECIAL, /* 0x59 */
 	SPECIAL, /* 0x5a */
@@ -144,5 +144,5 @@
 
 /** Secondary meaning of scancodes. */
-static char sc_secondary_map[] = {
+static int sc_secondary_map[] = {
 	SPECIAL, /* 0x00 */
 	SPECIAL, /* 0x01 - Esc */