[target] mpc52xx: add missing kernel config symbol