[coreboot-gerrit] Patch set updated for coreboot: 0271ff2 peppy: Update GPIO table + USB port map.