configure: enable riscv32 port