include kernel-version.mk from kernel.mk so that a correct KERNEL_PATCHVER is always...