Kernels are now compiled independently