[U-Boot] [PATCH] powerpc/85xx: Add support for 4th PCI controller on corenet_ds