> they can't advertise that it's RISC-V due to the branding guidelines

Unless it’s a superset of RISC-V. They can still have proprietary extensions