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

 # windows config options

 ## depends on ARCH_x86

 ##

 ## select WINDOWS

 ##

 ## help Build a toolchain targeting systems running Windows as host