diff --git a/src/cpu/p6/l2_cache.c b/src/cpu/p6/l2_cache.c
index 3ea56a6e7c..c70a299166 100644
--- a/src/cpu/p6/l2_cache.c
+++ b/src/cpu/p6/l2_cache.c
@@ -38,7 +38,7 @@ static char rcsid[] = "$Id$";
 #include <cpu/p5/cpuid.h>
 
 /* Include debugging code and outputs */
-#define DEBUG
+//#define DEBUG
 #include <printk.h>
 
 static int signal_l2(unsigned int address_high,
diff --git a/src/include/subr.h b/src/include/subr.h
index 2377a84a71..a24e47c1ca 100644
--- a/src/include/subr.h
+++ b/src/include/subr.h
@@ -20,7 +20,7 @@ void printnibl(unsigned long nibl);
 void printchar(unsigned char x);
 void printint(unsigned long x);
 void error(char errmsg[]);
-void intel_post(char value);
+void intel_post(unsigned char value);
 void intel_conf_writeb(unsigned long port, unsigned char value);
 unsigned char intel_conf_readb(unsigned long port);
 void intel_cache_on(unsigned long base, unsigned long totalram);
diff --git a/src/lib/subr.c b/src/lib/subr.c
index 02bf255d78..cf182b8903 100644
--- a/src/lib/subr.c
+++ b/src/lib/subr.c
@@ -112,11 +112,14 @@ void error(char errmsg[])
 /*
  *    Write POST information
  */
-void intel_post(char value)
+void intel_post(unsigned char value)
 {
+	unsigned long hi, lo;
 	outb(value, 0x80);
 #ifdef SERIAL_POST
-	printk(KERN_INFO "POST: 0x%02x\n", value);
+	rdtsc(lo, hi);
+	printk(KERN_INFO "POST: 0x%02x, TSC Lo: %d, Hi: %d\n",
+	       value, lo, hi);
 #endif
 }