Rock Pi 4 a PCB with RK3399 SoC and Raspberry Pi format