Update kernel.lua