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