* kernel/Makefile: misc