Die Makefiles zu ändern is ein dirty Hack.
Lieber wäre es mir, wenn das Header-Package gefixt werden würde.
Ein schnellerer Weg, das Problem zu beheben ist übrigens im Makefile unter
/usr/src/linux-headers-`uname -r`/
in Zeile 423 muß noch kernelrelease dazu geschrieben werden.
Die Zeile 1399
@echo "$(KERNELVERSION)$$($(CONFIG_SHELL) $(srctree)/scripts/setlocalversion $(srctree))"
in
@echo "$(KERNELRELEASE)$$($(CONFIG_SHELL) $(srctree)/scripts/setlocalversion $(srctree))"
zu ändern.
Somit bleiben die Makefiles der vbox-module unangetastet.