Implement batch_bool::mask() for riscv

Implement batch_bool::mask() for riscv #3632