Make kernel version default to the latest one we support in the Makefile