rpi-kernel: update to 4.14.80.

[ci skip]

srcpkgs/rpi-kernel/template

@@ -5,11 +5,11 @@
 #
 #   https://www.raspberrypi.org/forums/viewtopic.php?f=29&t=197689
 
-_githash="36612d5d7a88672a3e7dd6cb458dbbbca0d75efe"
+_githash="9d6fdaf722cbb5355f226efcadb30b1bfb7cb0cc"
 _gitshort="${_githash:0:7}"
 
 pkgname=rpi-kernel
-version=4.14.79
+version=4.14.80
 revision=1
 wrksrc="linux-${_githash}"
 maintainer="Juan RP <xtraeme@voidlinux.eu>"
@@ -17,7 +17,7 @@ homepage="http://www.kernel.org"
 license="GPL-2.0-only"
 short_desc="The Linux kernel for Raspberry Pi (${version%.*} series [git ${_gitshort}])"
 distfiles="https://github.com/raspberrypi/linux/archive/${_githash}.tar.gz"
-checksum=49729ba356602cd0c5072729d94a36bd1982e34b363d59275b1a28e9e6454f3c
+checksum=79c28f2bd141d62c77e1c8e447e40dda75a9e4d78a60a12ba1a773c6c7a3f510
 
 _kernver="${version}_${revision}"