[coreboot] Loading Linux payloads on RISC-V