Basically what I did was to put tow-boot on the SD card, then boot from the official debian image on a USB. From there I did a chroot install to another USB with the aarch64 rootfs tarball, and finally configured extlinux manually for the void kernel. I used the debian extlinux config as a template.