fixed the linux kernel-version detection logic in the makefile