From bbf63fa207247d351fc802baa24f9b0a45130e1f Mon Sep 17 00:00:00 2001
From: Vicente Bergas <vicencb@users.noreply.github.com>
Date: Thu, 30 May 2019 13:56:18 +0200
Subject: [PATCH] core/linux-aarch64: enable gpio fan module

This driver is used by at least one board:
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/tree/arch/arm64/boot/dts/rockchip/rk3399-sapphire.dtsi?h=v5.1.5#n41
---
 core/linux-aarch64/PKGBUILD | 4 ++--
 core/linux-aarch64/config   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/core/linux-aarch64/PKGBUILD b/core/linux-aarch64/PKGBUILD
index c29f8960e..2bf37c36c 100644
--- a/core/linux-aarch64/PKGBUILD
+++ b/core/linux-aarch64/PKGBUILD
@@ -8,7 +8,7 @@ _srcname=linux-5.1
 _kernelname=${pkgbase#linux}
 _desc="AArch64 multi-platform"
 pkgver=5.1.5
-pkgrel=1
+pkgrel=2
 arch=('aarch64')
 url="http://www.kernel.org/"
 license=('GPL2')
@@ -33,7 +33,7 @@ md5sums=('15fbdff95ff98483069ac6e215b9f4f9'
          'eee2e8059822d48f18086f4b36ed30bf'
          '910651d04b2f5fea9889df596b329035'
          'bd11e72a670134a38a75da3435bf8bcb'
-         'b87105f46091e1976147780fc4cd43e5'
+         '7867b6370a0728cdfb615ce28591be91'
          '7f1a96e24f5150f790df94398e9525a3'
          '61c5ff73c136ed07a7aadbf58db3d96a'
          '584777ae88bce2c5659960151b64c7d8'
diff --git a/core/linux-aarch64/config b/core/linux-aarch64/config
index cd580fdac..0663fc014 100644
--- a/core/linux-aarch64/config
+++ b/core/linux-aarch64/config
@@ -4046,7 +4046,7 @@ CONFIG_SENSORS_GL518SM=m
 CONFIG_SENSORS_GL520SM=m
 CONFIG_SENSORS_G760A=m
 CONFIG_SENSORS_G762=m
-# CONFIG_SENSORS_GPIO_FAN is not set
+CONFIG_SENSORS_GPIO_FAN=m
 # CONFIG_SENSORS_HIH6130 is not set
 CONFIG_SENSORS_IBMAEM=m
 CONFIG_SENSORS_IBMPEX=m