What could they do though? Raspberry Pi only exists because there are hundreds of millions of Arm CPUs being built for phones and tablets, and a tiny fraction of these end up in SBCs. The sheer volume means each chip can be had for a few dollars. There is no such ecosystem for RISC-V yet. The largest known order was AllWinner/T-Head (reportedly 5 million through TSMC).