configs of kernels 'std-def/un-def' require optimization to support
armh SBC. And the 'mp' kernel is already optimized.