Index: kernel/genarch/src/kbrd/kbrd.c
===================================================================
--- kernel/genarch/src/kbrd/kbrd.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/kbrd/kbrd.c	(revision 363fe7e07b3bb37642f630081aca784df130275e)
@@ -171,6 +171,6 @@
 kbrd_instance_t *kbrd_init(void)
 {
-	kbrd_instance_t *instance
-	    = malloc(sizeof(kbrd_instance_t), FRAME_ATOMIC);
+	kbrd_instance_t *instance =
+	    malloc(sizeof(kbrd_instance_t), FRAME_ATOMIC);
 	if (instance) {
 		instance->thread = thread_create(kkbrd, (void *) instance,