[coreboot] Patch merged into coreboot/master: 1236b84 Google Butterfly: gpio.h: Correct whitespace errors