[coreboot-gerrit] New patch to review for coreboot: b167730 Fix Vortex86EX devicetree.cb indentation.