Index: kernel/arch/abs32le/src/cpu/cpu.c
===================================================================
--- kernel/arch/abs32le/src/cpu/cpu.c	(revision 6601f9bbc0efac1db2a0bb4f7661233c5be63316)
+++ kernel/arch/abs32le/src/cpu/cpu.c	(revision ad05baf7d73a916fc6e4f10a51198319da11ea31)
@@ -34,4 +34,5 @@
 
 #include <arch/cpu.h>
+#include <cpu.h>
 #include <arch.h>
 #include <typedefs.h>