[coreboot-gerrit] Patch merged into coreboot/master: 22419e0 falco: Add on-board devices and configure GPIO irq/wake