Rename kernel.lua to kernel