If, however, they keep multiple kernels that are optimized for specific types of functionality, ie. SMP or single CPU'd systems, or other specific hardware, then the kernel should not loose its efficency if and only if they common core components are as efficient as they can be.
If, however, they keep multiple kernels that are optimized for specific types of functionality, ie. SMP or single CPU'd systems, or other specific hardware, then the kernel should not loose its efficency if and only if they common core components are as efficient as they can be.