Re: [riscv-port] RFR: 8278387: riscv: Implement UseHeavyMonitors consistently