Delete kernel.s