kernel: add 2 config symbols preventing ppc40x & ppc44X from being configured with...