Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
+++ kernel/arch/amd64/src/amd64.c	(revision f712a858b9463dae30e9eee5ef1ccc54ae618f02)
@@ -215,6 +215,6 @@
 	outdev_t **ns16550_out_ptr = NULL;
 #endif
-	ns16550_instance_t *ns16550_instance
-	    = ns16550_init(NS16550_BASE, 0, IRQ_NS16550, NULL, NULL,
+	ns16550_instance_t *ns16550_instance =
+	    ns16550_init(NS16550_BASE, 0, IRQ_NS16550, NULL, NULL,
 	    ns16550_out_ptr);
 	if (ns16550_instance) {