Update kernel.lua

FFS, Work dammit!