RISCV uses the no-CAS version of MCS-PDR locks