Makefile: "make kernelrelease" should show the correct full kernel version