diff --git a/c/src/lib/libbsp/shared/ChangeLog b/c/src/lib/libbsp/shared/ChangeLog
index 947622b74f..68bdf9e832 100644
--- a/c/src/lib/libbsp/shared/ChangeLog
+++ b/c/src/lib/libbsp/shared/ChangeLog
@@ -1,3 +1,7 @@
+2011-08-29	Joel Sherrill <joel.sherrilL@OARcorp.com>
+
+	* bootcard.c: Correct printk() format.
+
 2011-07-21	Sebastian Huber <sebastian.huber@embedded-brains.de>
 
 	* include/uart-output-char.h, src/uart-output-char.c: Support for
diff --git a/c/src/lib/libbsp/shared/bootcard.c b/c/src/lib/libbsp/shared/bootcard.c
index fd7bd22fb9..10723ab783 100644
--- a/c/src/lib/libbsp/shared/bootcard.c
+++ b/c/src/lib/libbsp/shared/bootcard.c
@@ -178,9 +178,9 @@ uint32_t boot_card(
 
   if ( work_area_size <= Configuration.work_space_size ) {
     printk(
-      "bootcard: work space too big for work area: %p > %p\n",
-      (void *) Configuration.work_space_size,
-      (void *) work_area_size
+      "bootcard: work space too big for work area: 0x%08x > 0x%08x\n",
+      Configuration.work_space_size,
+      work_area_size
     );
     bsp_cleanup(1);
     return 1;