Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 1152705147c4ffcf626525e4a252d76925aee2dc)
+++ kernel/generic/src/console/kconsole.c	(revision 38e52c92f3bfac1d2b27e99d723de774dd20d0e3)
@@ -53,5 +53,4 @@
 #include <func.h>
 #include <str.h>
-#include <macros.h>
 #include <sysinfo/sysinfo.h>
 #include <ddi/device.h>