Modified kernel.inc