Fix PCI support on CPC45 board
diff --git a/lib_ppc/board.c b/lib_ppc/board.c
index bb56fbe..c9e38df 100644
--- a/lib_ppc/board.c
+++ b/lib_ppc/board.c
@@ -825,7 +825,7 @@
 
 	WATCHDOG_RESET ();
 
-#if defined(CONFIG_PCI) && !defined(CONFIG_BAB7xx)
+#if defined(CONFIG_PCI) && !defined(CONFIG_BAB7xx) && !defined(CONFIG_CPC45)
 	/*
 	 * Do pci configuration
 	 */