diff --git a/arch/x86/console.c b/arch/x86/console.c
index 0793e356d3..67e799da44 100644
--- a/arch/x86/console.c
+++ b/arch/x86/console.c
@@ -1,15 +1,16 @@
 #include <arch/types.h>
 #include <arch/hlt.h>
+#include <console/console.h>
 #include <console/loglevel.h>
 #include <uart8250.h>
 
 // FIXME: we need this for varargs
 #include <stdarg.h>
 
-extern int vtxprintf(void (*)(unsigned char, void *arg), void *arg,
-		     const char *, va_list);
+int vtxprintf(void (*)(unsigned char, void *arg), 
+		void *arg, const char *, va_list);
 
-int console_loglevel(void)
+static int console_loglevel(void)
 {
 	return CONFIG_DEFAULT_CONSOLE_LOGLEVEL;
 }
diff --git a/include/console/console.h b/include/console/console.h
index 9f31ae10f8..47182de210 100644
--- a/include/console/console.h
+++ b/include/console/console.h
@@ -1,19 +1,19 @@
 /*
-	This program is free software; you can redistribute it and/or modify
-	it under the terms of the GNU General Public License as published by
-	the Free Software Foundation; either version 2 of the License, or
-	(at your option) any later version.
-	
-	This program is distributed in the hope that it will be useful,
-	but WITHOUT ANY WARRANTY; without even the implied warranty of
-	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-	GNU General Public License for more details.
-	
-	You should have received a copy of the GNU General Public License
-	along with this program; if not, write to the Free Software
-	Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ * 
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ * 
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
+ */
 
-*/
 #ifndef CONSOLE_CONSOLE_H_
 #define CONSOLE_CONSOLE_H_