[coreboot-gerrit] [XS] Change in coreboot[main]: Doc/mb/hp: Rename pro_3500_series to pro_3x00 series