kernel.mk: typos