[coreboot-gerrit] Patch set updated for coreboot: ef7a932 global: Fix usage of get_option() to make use of CB_CMOS_ codes