[U-Boot-Users] u-boot initialize PCI in ixdp425 platform ?