RVB23 profile privileged options clarification

[ubc-guy]

RVB23-profiles says:

"RVB23S64 has the same six privileged options (Sv48, Sv57, Svadu, Sscofpmf, Zkr, H) as RVA23S64."

However:
-- the actual list of optional priv extensions in the RVA text is: Sv48 Sv57, Zkr, Svadu, Sdext, Sstrict Svvptc, Sspn; since that list may change in the RVA profile, it is strongly advised not to "count" their number in the RVB profile nor attempt to list them. instead, be explicity just about RVA without reference to their status in RVA.

Further:
-- H is mandatory in RVA, not an option
-- Sscofpmf is already listed earlier as Mandatory in RVB
-- the actual list of optional extensions in the RVB text is: Ssnpm, Sspm, H, Sv48, Sv57, Svadu, Zkr, Svadu (listed twice!), Sdext, Sstrict, Svvptc

Recommended corrections:
-- delete the text: "RVB23S64 has the same privileged options (Sv48, Sv57, Svadu, Sscofpmf, Zkr, H) as RVA23S64." (fixes incorrect count, Sscofpmf and H problems, and future coherence problems)
-- delete second occurence of Svadu in list of RVB priv expansion options