[coreboot-gerrit] Patch set updated for coreboot: agesa and binaryPI mainboards: Fix devicetree hudson comments