Soc FPGA Development Kit based on RISC-V set now available