Trying to install Void Linux (musl) on La Frite. EFI stub errors

I used the rootfs (musl, aarch64) and set up the filesystems on a USB flash drive, copied the files and then chrooted and followed the website guide. I did however have problems with booting right after GRUB loads the initramfs. I got the following errors:

EFI stub: Booting Linux Kernel...
EFI stub: ERROR: FIRMWARE BUG: kernel image not aligned on 64k boundary
EFI stub: Using DTB from configuration table
EFI stub: Exiting boot services...

The next screen showing up gives the following error which appearantly has to do with the GPU:

[ 5.015806] lima d00c0000.gpu: error -EMODEV: dev_pm_opp_set_regulators: no regulator (mali) found.

After this the computer reboots. Can any of you help me out with this? I would really appreciate it. I have flashed the La Frite with the 2021 U-boot image.

Upstream Linux compiles a new DT when you compile a new kernel. You can put it in the u-boot search path in your EFI partition to override the u-boot built-in. As device tree is a moving target, it is recommended to build images with device tree for the kernel on the image in case there is a breaking change between kernel versions although this is very rare.