Update kernel.s