Index: kernel/arch/ia32/src/drivers/vesa.c
===================================================================
--- kernel/arch/ia32/src/drivers/vesa.c	(revision 9e347505f2957b1ffd7c974e4803f481117736a3)
+++ kernel/arch/ia32/src/drivers/vesa.c	(revision e14a1031cc92bf3c52f3afbe8c19cb40e7e3d8ea)
@@ -38,5 +38,4 @@
 
 #include <genarch/fb/fb.h>
-#include <genarch/fb/visuals.h>
 #include <arch/drivers/vesa.h>
 #include <console/chardev.h>
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 9e347505f2957b1ffd7c974e4803f481117736a3)
+++ kernel/arch/ia32/src/smp/smp.c	(revision e14a1031cc92bf3c52f3afbe8c19cb40e7e3d8ea)
@@ -42,5 +42,4 @@
 #include <config.h>
 #include <synch/waitq.h>
-#include <synch/synch.h>
 #include <arch/pm.h>
 #include <func.h>
Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision 9e347505f2957b1ffd7c974e4803f481117736a3)
+++ kernel/arch/ia32/src/userspace.c	(revision e14a1031cc92bf3c52f3afbe8c19cb40e7e3d8ea)
@@ -37,7 +37,6 @@
 #include <typedefs.h>
 #include <arch.h>
-#include <proc/uarg.h>
+#include <abi/proc/uarg.h>
 #include <mm/as.h>
-
 
 /** Enter userspace