This may be a naive question but why ARM and not RISC-V?