[coreboot-gerrit] Patch set updated for coreboot: b76bfb5 ARM: when setting a GPIO to put, set the value, then the direction