coreboot-kgpe-d16/Documentation/soc/intel/xeon_sp/index.md