[coreboot-gerrit] Patch set updated for coreboot: effdcb4 rambi: Move KBD_IRQ pin for Rambi 2.0 board