CSR implementation differs from CV32E40S
Created by: Silabs-ArjanB
Two issues really:
- The 40X CSR implementation differs from that of the 40S (use of MASK is not correct; i.e. non-implemented bits could be constant 1)
- The hardened vs. unhardened CSR implementations (on 40S) are not equivalent (hardened version is correct)