Why has the most influential RISC-V startup just cut 130 people?