[coreboot-gerrit] Patch merged into coreboot/master: 589e63e drivers/gic: reprogram the GIC CPU interface to bypass IRQ