[coreboot-gerrit] Patch set updated for coreboot: 9e4d1a9 rambi: use SERIRQ pad as keyboard irq in gpio mode