u-boot/cpu/ppc4xx
