rpi-firmware: update to 20190801.
rpi-firmware: update to 20190801.

[ci skip]

necrophcodr/void-packages,necrophcodr/void-packages,necrophcodr/void-packages,necrophcodr/void-packages,necrophcodr/void-packages