[coreboot] Patch set updated for coreboot: 1498205 Add config_enabled() from Linux