[U-Boot] [PATCH 0/7] ppc/p4080: infrastructure patches

This patch series includes the underpinings for the p4080 support. Its mostly focussed on the differenes in cpu/mpc85xx code between a PQ3/85xx platform and the p4080/CoreNet platforms.