[coreboot-gerrit] [XS] Change in coreboot[master]: include/memory_info.h: Add DIMM socket index to DMI memory device