Yes, we should rename the kernel to cernel or qernel to avoid confusion. Snark aside I do not think that the letter k is too overloaded. There is room for KDE and the kernel.