linux-raspberrypi-rt: Update 4.19 recipe to 4.19.71
-LINUX_VERSION ?= "4.19.59"
+LINUX_VERSION ?= "4.19.71"
LINUX_RPI_BRANCH ?= "rpi-4.19.y-rt"
-SRCREV = "1dae1f0521d69bfd22454180c40fe85fdd80ffc6"
+SRCREV = "1532ea50263c8fd70f769b55e60fbc6a0c5778a0"
require linux-raspberrypi_4.19.inc
