diff --git a/src/mainboard/embeddedplanet/ep405pc/Config.lb b/src/mainboard/embeddedplanet/ep405pc/Config.lb
index 88594914a6..5b9669b8fc 100644
--- a/src/mainboard/embeddedplanet/ep405pc/Config.lb
+++ b/src/mainboard/embeddedplanet/ep405pc/Config.lb
@@ -9,18 +9,19 @@ uses UART0_IO_BASE
 ##
 ## Set PCI registers
 ##
-option PCIC0_CFGADDR=0xeec00000
-option PCIC0_CFGDATA=0xeec00004
+default PCIC0_CFGADDR=0xeec00000
+default PCIC0_CFGDATA=0xeec00004
 
 ##
 ## Set UART base address
 ##
-option UART0_IO_BASE=0xef600300
+default UART0_IO_BASE=0xef600300
 
 ##
 ## Early board initialization, called from ppc_main()
 ##
 initobject init.c
+driver pci_bridge.c
 
 arch ppc end
 cpu ppc/ppc4xx end