For CAR, it is not possible to count on static variables. This file has one, 
and it hence does not work correctly in CAR (I've tried it :-)

We could put this initialized variable in the global variables, adding
one more u32 to a very limited stack-based resource. 

But that change only covers up what to me appears to be a coding error. 
The question: why is this test here? The answer: because some 
piece of code might call the console output too early. But calling the output
too early is a coding mistake, and we should try not to have those. 
Embedding mistakes into our code is sure to lead to confusion in the long term.

The rule is simple: 
calling console output functions BEFORE console_init is called is an 
error. This kind of band-aid covers up an error in code, but does not fix it. 
So remove the band-aid. 

The added advantage is that this code is now CAR-compatible, where it was not
before. 

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Index: src/console/console.c
===================================================================
--- src/console/console.c	(revision 4098)
+++ src/console/console.c	(working copy)
@@ -8,8 +8,6 @@
 #include <pc80/mc146818rtc.h>
 
 
-static int initialized;
-
 /* initialize the console */
 void console_init(void)
 {
@@ -22,7 +20,6 @@
 			continue;
 		driver->init();
 	}
-	initialized = 1;
 }
 
 static void __console_tx_byte(unsigned char byte)
@@ -45,8 +42,6 @@
 
 void console_tx_byte(unsigned char byte)
 {
-	if (!initialized)
-		return;
 	if (byte == '\n')
 		__console_tx_byte('\r');
 	__console_tx_byte(byte);
@@ -55,8 +50,6 @@
 unsigned char console_rx_byte(void)
 {
 	struct console_driver *driver;
-	if (!initialized)
-		return 0;
 	for(driver = console_drivers; driver < econsole_drivers; driver++) {
 		if (driver->tst_byte)
 			break;
@@ -70,8 +63,6 @@
 int console_tst_byte(void)
 {
 	struct console_driver *driver;
-	if (!initialized)
-		return 0;
 	for(driver = console_drivers; driver < econsole_drivers; driver++)
 		if (driver->tst_byte)
 			return driver->tst_byte();