1 files changed, 1 insertions, 5 deletions
diff --git a/src/kernel/console.C b/src/kernel/console.C
index 373d67c4f..6912b8450 100644
--- a/src/kernel/console.C
+++ b/src/kernel/console.C
@@ -3,7 +3,6 @@
 #include <util/sprintf.H>
 #include <util/functor.H>
 #include <stdarg.h>
-#include <arch/ppc.H>
 
 char kernel_printk_buffer[Console::BUFFER_SIZE];
 
@@ -20,10 +19,7 @@ int Console::putc(int c)
     }
     else if (BUFFER_SIZE > iv_pos)
     {
-        size_t pos = __sync_fetch_and_add(&iv_pos, 1);
-	iv_buffer[pos] = c;
-        dcbf(&iv_buffer[pos]);  // TODO: This is temporary for VBU since we
-                                // can't read the L3 if data is in L2.
+	iv_buffer[__sync_fetch_and_add(&iv_pos, 1)] = c;
     }
     return c;
 }