[coreboot-gerrit] Patch merged into coreboot/master: 3245056 ARM: when setting a GPIO to put, set the value, then the direction