Diff raspberrypi-firmware-1.20190925 with a raspberrypi-firmware-9999

Thank you!