From 813e5bed43954405a483ce3eec913f202d1469d5 Mon Sep 17 00:00:00 2001
From: MilhouseVH <milhouseVH.github@nmacleod.com>
Date: Mon, 10 Jun 2019 16:00:36 +0100
Subject: [PATCH] linux (RPi): update to linux-e5231dc (5.1.8)

---
 packages/linux/package.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/linux/package.mk b/packages/linux/package.mk
index cb651e8d16..f72c117687 100644
--- a/packages/linux/package.mk
+++ b/packages/linux/package.mk
@@ -23,8 +23,8 @@ case "$LINUX" in
     PKG_SOURCE_NAME="linux-$LINUX-$PKG_VERSION.tar.gz"
     ;;
   raspberrypi)
-    PKG_VERSION="f1d85e3870d18ba8081f498f670d0b5f90b1375c" # 5.1.7
-    PKG_SHA256="a0aedaa0cbf9b52bb41431262f5b451f01f227ccf95c31bd1b59ed2769017f8a"
+    PKG_VERSION="e5231dc8424d15380397d2428ba9d44a105f8701" # 5.1.8
+    PKG_SHA256="d0adbce54a8bdf096c6071b1ee84ffc08864eaaee218bcf887b12ff7b1d8502e"
     PKG_URL="https://github.com/raspberrypi/linux/archive/$PKG_VERSION.tar.gz"
     PKG_SOURCE_NAME="linux-$LINUX-$PKG_VERSION.tar.gz"
     ;;