[coreboot-gerrit] Patch set updated for coreboot: 60b691d Simplify and repair the cmos.default handling.