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