Rename generated kernelfile to kernel