[coreboot-gerrit] New patch to review for coreboot: 56b1cc4 gpio: Extend common GPIO header, simplify function names