[coreboot-gerrit] Patch merged into coreboot/master: af4d66e xe7501devkit: Kill unused cmos.layout