RISC-V: Use atomic_cmpxchg to update PLIC bitmaps