/dev/spidev0,0 on the Rock64 - Does anyone know how to enable it?

[Kappuchino]

I'm having trouble recreating your steps. 

# uname -a 
Linux rock64 4.4.132-1075-rockchip-ayufan-ga83beded8524 #1 SMP Thu Jul 26 08:22:22 UTC 2018 aarch64 aarch64 aarch64 GNU/Linux

# cat >spi1.dts <<EOF
[...]
[did that, worked]

# dtc spi1.dts -o spi1.dtbo
Warnings: 
spi1.dtbo: Warning (unit_address_vs_reg): Node /fragment@0 has a unit name, but no reg property
spi1.dtbo: Warning (pci_device_reg): Failed prerequisite 'reg_format'
spi1.dtbo: Warning (pci_device_bus_num): Failed prerequisite 'reg_format'
spi1.dtbo: Warning (simple_bus_reg): Failed prerequisite 'reg_format'
spi1.dtbo: Warning (avoid_default_addr_size): Relying on default #address-cells value for /fragment@0/__overlay__/spidev@1
spi1.dtbo: Warning (avoid_default_addr_size): Relying on default #size-cells value for /fragment@0/__overlay__/spidev@1
# mkdir /sys/kernel/config/device-tree/overlays/spi1
[okay, did that with sudo, wrong?]
# cat spi1.dtbo > /sys/kernel/config/device-tree/overlays/spi1/dtbo
/sys/kernel/config/device-tree/overlays/spi1/dtbo: Permission denied
# ls /dev/spidev*
not found


so ...

• it does sadly not show /dev/spidev0,0 nor other 
  
• If it would work, what would the difference to spidev0,0 vs spidev32766.1 be?
  
• If you read my issue before, what else would I need to modify for the eInk display?
  

PS: I'm willing to send you/someone one (smaller) eInk display with a driver-board if you need it to understand/make it work. You can keep it then.