Fix problem with EXTRAVERSION in Makefile for kernel