Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/arch/abs32le/src/abs32le.c	(revision e9dba436d9889d3165e64f44a57e7177939eacd8)
@@ -38,5 +38,5 @@
 #include <arch/asm.h>
 
-#include <func.h>
+#include <halt.h>
 #include <config.h>
 #include <console/console.h>
Index: kernel/arch/abs32le/src/mm/page.c
===================================================================
--- kernel/arch/abs32le/src/mm/page.c	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/arch/abs32le/src/mm/page.c	(revision e9dba436d9889d3165e64f44a57e7177939eacd8)
@@ -41,5 +41,5 @@
 #include <align.h>
 #include <config.h>
-#include <func.h>
+#include <halt.h>
 #include <arch/interrupt.h>
 #include <arch/asm.h>