Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 26aafe8d909ecb61306a77910aeb374da3814391)
+++ kernel/arch/arm32/src/arm32.c	(revision 7d364fb8ea8ef4fe1f9f9a2a7f89c21619faf824)
@@ -37,5 +37,5 @@
 #include <config.h>
 #include <genarch/fb/fb.h>
-#include <genarch/fb/visuals.h>
+#include <abi/fb/visuals.h>
 #include <sysinfo/sysinfo.h>
 #include <console/console.h>