/cpu/ppc4xx/