Re: [FFmpeg-devel] [PATCH 2/2] checkasm: add RISC-V vector width to arch info