Makefile housekeeping: remove unused kernel.mk includes