ARM64: dts: add dts for Rockchip RK3399 FPGA board