They could always use RISC-V instead.