Make POST device configurable.

Change-Id: If92b50ab3888518228d2d3b76f5c50c4aef968dd
Signed-off-by: Idwer Vollering <vidwer@gmail.com>
Reviewed-on: http://review.coreboot.org/4561
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>

src/console/post.c

@@ -161,8 +161,8 @@ void post_code(uint8_t value)
 #if CONFIG_CMOS_POST
 	cmos_post_code(value);
 #endif
-#if CONFIG_IO_POST
-	outb(value, CONFIG_IO_POST_PORT);
+#if CONFIG_POST_IO
+	outb(value, CONFIG_POST_IO_PORT);
 #endif
 #endif
 	mainboard_post(value);