Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 61ac34d70fecba6cf8b984c7b70622fdeec7ab57)
+++ kernel/arch/arm32/src/arm32.c	(revision 7b3b57171e1a38631bd24e5ecdf71edd3f1926f4)
@@ -38,5 +38,4 @@
 #include <genarch/fb/fb.h>
 #include <abi/fb/visuals.h>
-#include <sysinfo/sysinfo.h>
 #include <console/console.h>
 #include <ddi/irq.h>