[coreboot-gerrit] [XS] Change in coreboot[main]: Documentation/mb/hp: Rename pro_3500_series