[PATCH v3 2/3] buildman: differentiate between riscv32, riscv64