Index: kernel/generic/src/console/chardev.c
===================================================================
--- kernel/generic/src/console/chardev.c	(revision 181a746c0eb2d625af267727d01796f91915bccd)
+++ kernel/generic/src/console/chardev.c	(revision 0ca7286a618557bd1d13cded4ccbe25d62752237)
@@ -39,5 +39,5 @@
 #include <print.h>
 #include <func.h>
-#include <arch.h>
+#include <cpu.h>
 
 /** Initialize input character device.
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 181a746c0eb2d625af267727d01796f91915bccd)
+++ kernel/generic/src/console/console.c	(revision 0ca7286a618557bd1d13cded4ccbe25d62752237)
@@ -52,4 +52,6 @@
 #include <errno.h>
 #include <str.h>
+#include <mm/frame.h> /* SIZE2FRAMES */
+#include <mm/slab.h>  /* malloc */
 
 #define KLOG_PAGES    8
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 181a746c0eb2d625af267727d01796f91915bccd)
+++ kernel/generic/src/console/kconsole.c	(revision 0ca7286a618557bd1d13cded4ccbe25d62752237)
@@ -59,4 +59,5 @@
 #include <putchar.h>
 #include <str.h>
+#include <mm/slab.h>
 
 /** Simple kernel console.