review.coreboot.org / coreboot / 3ee54bbf9413b5e174e65eff14769bdd2f5a3203 / src / soc / intel / icelake / Kconfig