Fixing compilation for lower kernels. Also updating the insertion make target.