[coreboot-gerrit] Patch set updated for coreboot: 0b0f72d baytrail: Add GPIO initial configuration infrastructure.