[coreboot-gerrit] Patch set updated for coreboot: 95b826d mainboard: Format `devicetree.cb`