[coreboot-gerrit] Patch set updated for coreboot: f3fc7d9 devicetree.cb: Remove some trailing whitespace