Update kernel 20200702 (#757)

* Odroid: Update kernel 5.7.7

* Linux: Update kernel 5.4.50

* RaspberryPi: Update kernel 4.19.127 - a03605b08ae73107100c72dc92c92adf0dde3e42

* Fix script

* Add bcm2711-rpi-cm4

scripts/update-firmware-rpi.sh

@@ -7,7 +7,7 @@ if [ -z "$1" ]; then
 fi
 echo "Use firmware: https://github.com/raspberrypi/firmware/archive/$1.tar.gz"
 
-if [ -z "$2" ] && [ -f "$2" ]; then
+if [ -z "$2" ] || ! [ -f "$2" ]; then
     echo "Need buildroot patch file!"
     exit 1
 fi