diff --git a/c/src/lib/libcpu/i386/page.c b/c/src/lib/libcpu/i386/page.c
index 5593d31f62..5d52fa228a 100644
--- a/c/src/lib/libcpu/i386/page.c
+++ b/c/src/lib/libcpu/i386/page.c
@@ -19,7 +19,6 @@
  * $Header$
  */
 
-#include <bsp.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
@@ -466,6 +465,9 @@ int _CPU_change_memory_mapping_attribute
  * CACHE_DISABLE of the whole memory
  */
 
+/* hack to avoid dependency on bsp.h */
+void printk(char *fmt, ...);             /* from 'printk.c' */
+
 int  _CPU_display_memory_attribute(){ 
   unsigned int dirCount, pageCount;
   cr0 regCr0;