kernel names, kernels num defined elsewhere