[funkaster]

it has had mainline support for a while now, there are even now daily official debian builds available as well: https://d-i.debian.org/daily-images/arm64/daily/netboot/SD-c...