Index: kernel/arch/abs32le/include/asm.h
===================================================================
--- kernel/arch/abs32le/include/asm.h	(revision c1d354979b0e891f4be092b5abd830b8b06f53f4)
+++ kernel/arch/abs32le/include/asm.h	(revision eda925ad3905a0c8e5cc3f1d3908e5bb1d14bcae)
@@ -49,5 +49,5 @@
 
 
-static inline void cpu_halt(void)
+static inline __attribute__((noreturn)) void cpu_halt(void)
 {
 	/* On real hardware this should stop processing further