kernel.mk.txt