where to people find the kernel now?