linux-raspberrypi_4.19.bb: Update to 4.19.80