Fix problem with EXTRAVERSION in Makefile for kernel

The Makefile used for building the hot patch module ignored the EXTRAVERSION of Makefile of the kernel. The build worked but it was not possible to insert the module due the wrong version.