boot/ppcboot/mpc8260
