Implement batch_bool::mask() for riscv

Implement batch_bool::mask() for riscv #3955