diff -r f80b978b443b -r 069f43a215cc 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	Wed Jun 25 23:33:01 2014 +0200
@@ -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