nit: it shouldn’t be RV64GC if it has vector extension
RVA22 includes a long list of things in addition to the original 2019 RV64GC -- which is now called RVA20. V (Vector) is optional in RVA22, required in RVA23 but it will be a year or two before RVA23 hardware start appearing.