Put this file in /boot/boot.txt and then go to /boot and run ./mkscr. Of course, make sure you actually have the RaspberryPi kernel installed before doing so.
Some RPi kernel packages on ArchLinuxARM installs directly to /boot/kernel8.img. In this case, you'll need to remove U-BOOT entirely and boot directly to the Linux kernel instead.
This configuration file is ONLY intended for my linux-lts-aarch64-raspberrypi-git package.
It is also recommended to add
device_tree=dtbs/broadcom/bcm2710-rpi-3-b.dtb
to your /boot/config.txt to make sure the DTB that comes with the kernel is always loaded.
To load other overlays (e.g. the GPU driver), add
overlay_prefix=dtbs/overlays/
dtoverlay=vc4-kms-v3d