[coreboot-gerrit] Patch set updated for coreboot: 1d32c0b cmos: Rename the CMOS related functions.