Adjusted kernel version tag in makefile