[coreboot-gerrit] Patch set updated for coreboot: c30f0cb lenovo/t520: fix devicetree