[coreboot-gerrit] Change in coreboot[master]: [RFC|WIP] current state of making ipmi gpio generic