Rename kernel to kernel.lua