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