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