Index: kernel/genarch/src/kbrd/kbrd.c
===================================================================
--- kernel/genarch/src/kbrd/kbrd.c	(revision 6404acaa1e897da50572bbec1797ff03ffdc782d)
+++ kernel/genarch/src/kbrd/kbrd.c	(revision a3f63ac154a8851b99a2cdc01fb73050f4b9ca43)
@@ -58,4 +58,5 @@
 #include <macros.h>
 #include <str.h>
+#include <stdlib.h>
 
 #define IGNORE_CODE  0x7f
Index: kernel/genarch/src/kbrd/kbrd_at.c
===================================================================
--- kernel/genarch/src/kbrd/kbrd_at.c	(revision 6404acaa1e897da50572bbec1797ff03ffdc782d)
+++ kernel/genarch/src/kbrd/kbrd_at.c	(revision a3f63ac154a8851b99a2cdc01fb73050f4b9ca43)
@@ -47,4 +47,5 @@
 #include <arch.h>
 #include <macros.h>
+#include <stdlib.h>
 
 #define PRESSED_SHIFT     (1 << 0)