Got it to boot Debian!

I used my Raspberry Pi and a USB-to-SD adapter to write a Debian boot SD for my Pine64 2Gb, guided by Christopher Browne's directions. I fixed minor mistakes, substituted some things and filled in some missing detail in my notes: notes 1 notes 2.

I hope this helps. Right away I can tell there's a problem with overscan. :(