Did you know...
You can change the sort order of the result and the kernel tree.
Just right-click it and choose
Sort by ...
By this you can select, for example, all C Kernels more easy.