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