[coreboot-gerrit] [S] Change in coreboot[master]: soc/intel/xeon_sp/chip_common.c: check SOC_INTEL_PCIE_64BIT_ALLOC