Diff raspberrypi-firmware-1.20190215 with a raspberrypi-firmware-1.20190709

Thank you!