kernel-fxtec-pro1x/arch/powerpc/platforms/85xx/mpc85xx.h