mpc85xx: 4.14: refresh kernel config