[U-Boot] help with PCI RTL8139 on mpc5200