kernel: ppc40x: ppc44x: add missing kernel config symbol