Index: contrib/arch/kernel/kernel.adl
===================================================================
--- contrib/arch/kernel/kernel.adl	(revision 69dc065a8876e194f57d45ecef0aa1ed01aa9b9e)
+++ contrib/arch/kernel/kernel.adl	(revision c1618eda9687b4eef3cb4d0b4b7ef49f8abb1d60)
@@ -38,8 +38,6 @@
 		unative_t sys_thread_get_id(thread_id_t *uspace_thread_id);
 	protocol:
-		(
-			?sys_thread_create +
-			?sys_thread_get_id
-		)* ;
+		?sys_thread_create +
+		?sys_thread_get_id +
 		?sys_thread_exit
 };