[coreboot-gerrit] Patch set updated for coreboot: c8a4380 gpio: Extend common GPIO header, simplify function names