mpc52xx: add missing kernel config symbol