Index: kernel/genarch/src/drivers/ns16550/ns16550.c
===================================================================
--- kernel/genarch/src/drivers/ns16550/ns16550.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/drivers/ns16550/ns16550.c	(revision f712a858b9463dae30e9eee5ef1ccc54ae618f02)
@@ -128,6 +128,6 @@
     cir_t cir, void *cir_arg, outdev_t **output)
 {
-	ns16550_instance_t *instance
-	    = malloc(sizeof(ns16550_instance_t), FRAME_ATOMIC);
+	ns16550_instance_t *instance =
+	    malloc(sizeof(ns16550_instance_t), FRAME_ATOMIC);
 	if (instance) {
 		instance->ns16550 = dev;