[PATCH v3 5/6] docs/about/deprecated: Document RISC-V "pmu-num" deprecation