RPi4: add new device

Use raspberrypi kernel and upstream kodi with gbm/vc4.

Thanks to Milhouse for providing 5.1 kernel config!

Signed-off-by: Matthias Reichl <hias@horus.com>

projects/RPi/devices/RPi4/config/distroconfig.txt

@@ -0,0 +1,7 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# Copyright (C) 2019-present Team LibreELEC (https://libreelec.tv)
+
+# WARNING: DO NOT EDIT THIS FILE - IT WILL BE OVERWRITTEN WHEN UPGRADING!
+dtoverlay=vc4-fkms-v3d
+disable_overscan=1
+dtparam=audio=on

projects/RPi/devices/RPi4/options

@@ -0,0 +1,14 @@
+################################################################################
+# Device defaults
+################################################################################
+
+  # NOOBS supported hex versions (legacy) is not relevant for RPi4
+    unset NOOBS_HEX
+
+  # NOOBS supported model versions
+    NOOBS_SUPPORTED_MODELS='"Pi 4"'
+
+    OPENGLES="mesa"
+    GRAPHIC_DRIVERS="vc4"
+    KODIPLAYER_DRIVER="mesa"
+    unset KODI_VENDOR

projects/RPi/options

@@ -12,6 +12,9 @@
           TARGET_CPU="arm1176jzf-s"
         elif [ "$DEVICE" = "RPi2" -o "$DEVICE" = "Slice3" ]; then
           TARGET_CPU="cortex-a7"
+        elif [ "$DEVICE" = "RPi4" ]; then
+          TARGET_CPU="cortex-a53"
+          TARGET_CPU_FLAGS="+crc"
         fi
 
         # TARGET_FLOAT:
@@ -27,6 +30,8 @@
           TARGET_FPU="vfp"
         elif [ "$DEVICE" = "RPi2" -o "$DEVICE" = "Slice3" ]; then
           TARGET_FPU="neon-vfpv4"
+        elif [ "$DEVICE" = "RPi4" ]; then
+          TARGET_FPU="neon-fp-armv8"
         fi
         TARGET_FEATURES="32bit"
         ;;