It should be reasonably easy to modify the firmware to support pine64. Specifically, the firmware currently can be compiled on any Linux based system. In fact you can compile it on a Linux PC and run it in simulation mode without any actual OS hardware. To adapt to pin64, the main modifications I believe would be to provide the pin definitions in defines.h and change gpio.h/.cpp to match gpio commands on pine64.