review.coreboot.org / coreboot / b3ced6a67b6f950d06bebf413d98218969b75b57 / src / soc / intel / alderlake / Kconfig