[bem94]

Right you are, that's the group responsible. It's something of a priority for RISC-V international right now, because of exactly this worry.

RISC-V International is sometimes really bad at communicating that it's working on these problems. But odds on, they usually are.