mpc85xx: 4.19: refresh kernel config