[coreboot-gerrit] [S] Change in coreboot[main]: soc/intel/ptl: Populate SMBIOS Type 4 with unique serial number