diff -r f80b978b443b -r cbaf37cc20b7 samples/alphaev56-unknown-linux-gnu/crosstool.config
--- a/samples/alphaev56-unknown-linux-gnu/crosstool.config	Mon May 07 00:10:00 2012 +0200
+++ b/samples/alphaev56-unknown-linux-gnu/crosstool.config	Sun Mar 03 22:24:40 2013 +0100
@@ -6,7 +6,7 @@
 CT_ARCH_TUNE="ev56"
 CT_ARCH_ALPHA_EV56=y
 CT_KERNEL_linux=y
-CT_KERNEL_V_2_6_37_6=y
+CT_KERNEL_V_2_6_37=y
 CT_BINUTILS_V_2_21_1a=y
 CT_BINUTILS_PLUGINS=y
 CT_BINUTILS_FOR_TARGET=y