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