[coreboot-gerrit] [S] Change in coreboot[master]: mb/supermicro/x11-lga1151-series: Fix CMOS options