Fix name of the kernel