mpc85xx: switch to 3.8