[coreboot-gerrit] Patch merged into coreboot/master: fc5dc1c RISCV: get RISCV to build again