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