AArch64 kernel for Pinebook Pro.
This kernel comes from https://gitlab.manjaro.org/tsys/linux-pinebook-pro . It is unchanged except for a couple of tiny configuration changes to make it compatible with Debian.
Built with a custom value for KBUILD_IMAGE to ensure the kernel is not compressed (this is required to it works with the vendor u-boot on Pinebook Pro):
make -j nproc
KBUILD_IMAGE=arch/arm64/boot/Image bindeb-pkg