[coreboot-gerrit] Patch set updated for coreboot: a9c705e xe7501devkit: Kill unused cmos.layout