Add verify_permissions() for mseccfg_csr_t

The mseccfg only exists when enabling the Smepmp extension. If not
enabling the Smepmp extension, CSR instructions to the mseccfg raise
illegal instruction faults, and the PMP behaviors as hardwiring mseccfg
0 (the reset value of mseccfg).