Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 7aaed09d88be49fac8360d3017e3328ed9b0635c)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 7b3b57171e1a38631bd24e5ecdf71edd3f1926f4)
@@ -49,5 +49,4 @@
 #include <syscall/syscall.h>
 #include <console/console.h>
-#include <sysinfo/sysinfo.h>
 #include <memstr.h>