Initial commit - aarch64 64-bit kernel for Raspberry Pi 4

Fork from https://github.com/archlinuxarm/PKGBUILDs and filter with:

```
git filter-repo \
    --path core/linux-raspberrypi4 \
    --path-rename core/linux-raspberrypi4/:
```

Kernel config generated from 4.19.83 bcm2711_defconfig, plus:

```
CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
DM_INTEGRITY=m
```

1 files changed, 9 insertions, 0 deletions

diff --git a/config.txt b/config.txt
new file mode 100644
index 000000000000..d70c274a4ea7
--- /dev/null
+++ b/config.txt
@@ -0,0 +1,9 @@
+# See /boot/overlays/README for all available options
+
+gpu_mem=64
+arm_64bit=1
+
+device_tree=broadcom/bcm2711-rpi-4-b.dtb
+overlay_prefix=overlays/
+kernel=kernel8.img
+initramfs initramfs-linux.img followkernel