Hmm, auf nem Armbian hatte ich das auch mal am laufen. Aber ich glaube ich hab da einfach per armbian-config den SPI eingeschaltet und dann war gut.
SPI1_TXD ist dann SPI0 MOSI(Master Out, Slave In), siehe https://pinout.xyz
Sollte also passen. GPIO25 wird GPIO4_D5.
Für den NanoPi hatte ich von @sathya mal folgenden Formel zur Umrechnung der GPIO’s bekommen: <pos letter> - 1 * 32 + <pin no>. Das sollte aber 157 sein.