Index: kernel/arch/abs32le/src/userspace.c
===================================================================
--- kernel/arch/abs32le/src/userspace.c	(revision fac0ac7be7d127e6cc5c186e3c497bea39ed2e3b)
+++ kernel/arch/abs32le/src/userspace.c	(revision a05ec6671002c451fceb01aa0ab3f71f004efb6d)
@@ -41,6 +41,8 @@
 void userspace(uspace_arg_t *kernel_uarg)
 {
-	/* On real hardware this switches the CPU to user
-	   space mode and jumps to kernel_uarg->uspace_entry. */
+	/*
+	 * On real hardware this switches the CPU to user
+	 * space mode and jumps to kernel_uarg->uspace_entry.
+	 */
 
 	while (true)