linux: default to kernel 5.1.x
authorJames Hilliard <james.hilliard1@gmail.com>
Sat, 25 May 2019 00:03:21 +0000 (18:03 -0600)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 25 May 2019 11:47:58 +0000 (13:47 +0200)
commitf7bb0d56bf10f02e48a5f19cac71d9a5d0eaab32
tree4bd9b7e7d3250999e18e79545e8e1bf50081af5a
parenta134aeb99517d0d34e5be0b95159311f3974f4a5
linux: default to kernel 5.1.x

To match the default kernel headers we use.

[Peter: drop 5.1.x bump, tweak commit message]
Signed-off-by: James Hilliard <james.hilliard1@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
linux/Config.in