[coreboot-gerrit] New patch to review for coreboot: 889ca9e global: Fix usage of get_option() to make use of CB_CMOS_ codes