From 376514570845e0032b293738a9e94a5ce82d4917 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Mon, 11 Dec 2017 13:28:21 -0800
Subject: [PATCH] Move Linux to 4.14

4.14 was actually released, so we're moving to a branch based on that.
---
 linux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linux b/linux
index c2d852c..87cb3b7 160000
--- a/linux
+++ b/linux
@@ -1 +1 @@
-Subproject commit c2d852cb2f3d1875389ed23ad41fbab541b9533b
+Subproject commit 87cb3b7930572ac03ffefeb4b5c473b899c9f875