[coreboot-gerrit] Patch set updated for coreboot: 577d6c2 Fix Vortex86EX devicetree.cb indentation.