linux/kernel26/arch/ppc/platforms/4xx/xparameters
