Re: [RISC-V][tech-os-a-see] Recommendation for identifying partition with firmware to be loaded from SD-card