[coreboot-gerrit] Patch merged into coreboot/master: riscv: Stub out sbi_(un)mask_interrupt