Update kernel.asm: put the article 'the' in some places