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