[coreboot] Patch merged into coreboot/master: 1498205 Add config_enabled() from Linux