Once you have the specific product name or serial number, follow these steps: Official HP® Drivers and Software Download
Type wmic bios get serialnumber to get your if the name is still unclear. hp hq-tre 71025 drivers download