Move Linux to 4.14

4.14 was actually released, so we're moving to a branch based on that.
This commit is contained in:
Palmer Dabbelt 2017-12-11 13:28:21 -08:00
parent d04c37b74d
commit 3765145708

2
linux

@ -1 +1 @@
Subproject commit c2d852cb2f3d1875389ed23ad41fbab541b9533b
Subproject commit 87cb3b7930572ac03ffefeb4b5c473b899c9f875