[coreboot-gerrit] New patch to review for coreboot: mainboard/{google, intel}: Change config option selection