review.coreboot.org / coreboot / 6d3682ee9b19b9e6833f38046891132be665c93c / src / soc / amd / genoa / Kconfig