Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
+++ kernel/arch/amd64/src/amd64.c	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
@@ -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) {