[coreboot-gerrit] Patch set updated for coreboot: b843129 lynxpoint: Add a function to set an individual GPIO