I guess I have always interpreted the use of kernel there as meaning something small. But you are probably right.