Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 6bbe470e275a3b9a63f777eb4b7ae8586c4ec665)
+++ kernel/arch/amd64/src/amd64.c	(revision 21b63070cd32586bcf9185f46474b68aa88609f4)
@@ -222,6 +222,13 @@
 	 * Initialize the ns16550 controller.
 	 */
+#ifdef CONFIG_NS16550_OUT
+	outdev_t *ns16550_out;
+	outdev_t **ns16550_out_ptr = &ns16550_out;
+#else
+	outdev_t **ns16550_out_ptr = NULL;
+#endif
 	ns16550_instance_t *ns16550_instance
-	    = ns16550_init((ns16550_t *) NS16550_BASE, IRQ_NS16550, NULL, NULL);
+	    = ns16550_init((ns16550_t *) NS16550_BASE, IRQ_NS16550, NULL, NULL,
+	    ns16550_out_ptr);
 	if (ns16550_instance) {
 #ifdef CONFIG_NS16550
@@ -235,5 +242,4 @@
 #endif
 #ifdef CONFIG_NS16550_OUT
-		outdev_t *ns16550_out = ns16550_output(ns16550_instance);
 		if (ns16550_out) {
 			stdout_wire(ns16550_out);