kernel.js updated