Re: [coreboot] GSoC proposal: Better support for RISC-V systems