To add to what you said, a 64 bit ARM ISA didn’t publicly exist yet when Berkeley started RISC-V.