[coreboot] Patch merged into master: 33d3e85 CMOS: add set_option()