revert to base kernel.mk