diff --git a/lib_blackfin/bf533_string.c b/lib_blackfin/bf533_string.c
index 1d0aeb6..85b1150 100644
--- a/lib_blackfin/bf533_string.c
+++ b/lib_blackfin/bf533_string.c
@@ -30,6 +30,7 @@
 #include <asm/page.h>
 #include <config.h>
 #include <asm/blackfin.h>
+#include <asm/io.h>
 
 extern void blackfin_icache_flush_range(const void *, const void *);
 extern void blackfin_dcache_flush_range(const void *, const void *);
@@ -175,7 +176,7 @@
 
 	/* Enable source DMA */
 	*pMDMA_S0_CONFIG = (DMAEN);
-	__builtin_bfin_ssync();
+	sync();
 
 	*pMDMA_D0_CONFIG = (WNR | DMAEN);
 
diff --git a/lib_blackfin/board.c b/lib_blackfin/board.c
index 7c6a1e9..1a0a282 100644
--- a/lib_blackfin/board.c
+++ b/lib_blackfin/board.c
@@ -42,16 +42,6 @@
 int post_flag;
 #endif
 
-#ifdef DEBUG
-#define pr_debug(fmt,arg...)  printf(fmt,##arg)
-#else
-static inline int
-    __attribute__ ((format(printf, 1, 2))) pr_debug(const char *fmt, ...)
-{
-	return 0;
-}
-#endif
-
 #ifndef CFG_NO_FLASH
 extern flash_info_t flash_info[];
 #endif
@@ -293,7 +283,7 @@
 	display_banner();	/* say that we are here */
 
 	for (i = 0; i < page_descriptor_table_size; i++) {
-		pr_debug
+		debug
 		    ("data (%02i)= 0x%08x : 0x%08x    intr = 0x%08x : 0x%08x\n",
 		     i, dcplb_table[i][0], dcplb_table[i][1], icplb_table[i][0],
 		     icplb_table[i][1]);