[coreboot] Re: Directly boot the image of Linux for RISC-V