x86: Use kernel 4.14 by default
authorHauke Mehrtens <hauke@hauke-m.de>
Sat, 17 Feb 2018 15:02:02 +0000 (16:02 +0100)
committerHauke Mehrtens <hauke@hauke-m.de>
Sun, 18 Feb 2018 18:51:58 +0000 (19:51 +0100)
commitb377a908bf8db0cb2d64b141f08ace138ee716a7
tree1c3659f757f292955e9b10b8f9f55399a514952c
parentae42e7c01b6cc7e5c1006f06e6586f2b3020d6b4
x86: Use kernel 4.14 by default

Support for kernel 4.14 was added 2 months ago, make it now the default
kernel to use for the x86 target.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
Tested-by: Stijn Segers <francesco.borromini@inventati.org>
target/linux/x86/Makefile