Fix loading kernels