kernel/linux: update linux kernel headers

update linux kernel headers to a newer version

Signed-off-by: '"Daniel Zimmermann" <netzimme@gmail.com>'
[yann.morin.1998@free.fr: further bump the versions]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <424a44a11e7051d8d894.1392963455@haus-VirtualBox>
Patchwork-Id: 322417

 #!/bin/sh

 # Needed for systems without gettext

 $* -xc -o /dev/null - > /dev/null 2>&1 << EOF

 #include <libintl.h>

 int main()

 {

 	gettext("");

 	return 0;

 }

 EOF

 if [ ! "$?" -eq "0"  ]; then

 	echo -DKBUILD_NO_NLS;

 fi