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

 set -e

 printf "Running autoconf...\n"

 autoconf -Wall --force

 printf "Done. You may now run:\n    ./configure\n"