Re: [PATCH 1/3] cmd/sbi: format RustSBI version number