For those who are interested: I was able to create a usable system for my nanopi A64 using the generic instructions for pine64 on the Arch Linux Arm website. Almost everything works, except internet. I had to use an usb-dongle to get that going. Updated to Kernel 4.20.