[coreboot-gerrit] [XL] Change in coreboot[main]: vc/intel/fsp/ptl: Update header files from 3015_00 to 3071_00