rpi-kernel: update to 4.19.88.

[ci skip]

- Built for armv6l, armv7l, and aarch64.
- Tested on armv6l and armv7l.

srcpkgs/rpi-kernel/template

@@ -5,11 +5,11 @@
 #
 #   https://www.raspberrypi.org/forums/viewtopic.php?f=29&t=224931
 
-_githash="c078c64fecb325ee86da705b91ed286c90aae3f6"
+_githash="988cc7beacc150756c3fbe40646afcf8438b741b"
 _gitshort="${_githash:0:7}"
 
 pkgname=rpi-kernel
-version=4.19.86
+version=4.19.88
 revision=1
 wrksrc="linux-${_githash}"
 maintainer="Peter Bui <pbui@github.bx612.space>"
@@ -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=debde96b598e3253e0961db5673178691314781f62aca61e2d2d7cda5e089258
+checksum=d743a92b3d94973876dd7513044d4d8b119091ab8e66fcee3d0623e1c09d1d6d
 
 _kernver="${version}_${revision}"