Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 1abcf1db7c2a8071caaf9983f1571b2ef88e1be6)
@@ -110,5 +110,6 @@
 void context_restore_arch(context_t *ctx)
 {
-	while (true);
+	while (true)
+		;
 }
 
Index: kernel/arch/abs32le/src/userspace.c
===================================================================
--- kernel/arch/abs32le/src/userspace.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/abs32le/src/userspace.c	(revision 1abcf1db7c2a8071caaf9983f1571b2ef88e1be6)
@@ -44,5 +44,6 @@
 	   space mode and jumps to kernel_uarg->uspace_entry. */
 
-	while (true);
+	while (true)
+		;
 }