mpc85xx: fix incorrect kernel target