review.coreboot.org / coreboot / c2ed5eaa12fb3f0da5bdf2acb6f4a688e9b374d3 / src / soc / intel / xeon_sp / config.c