ppc40x: sync kernel config