Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/amd64/src/userspace.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -36,4 +36,5 @@
 #include <arch/cpu.h>
 #include <arch/pm.h>
+#include <stdbool.h>
 #include <stdint.h>
 #include <arch.h>
@@ -75,5 +76,5 @@
 
 	/* Unreachable */
-	while (1);
+	while (true);
 }