[coreboot-gerrit] Patch set updated for coreboot: 9196079 falco: Add on-board devices and configure GPIO irq/wake