Du meinst die Seite hier, oder?
http://h10025.www1.hp.com/ewfrf/wc/s...dlc=de&os=228#
Da sind doch wenigstens die Hersteller der verarbeiteten Hardware angegeben. Du kannst ja mal die Herstellerseiten nach 64Bit Treibern abklappern...
Oder schreib doch mal an den HP-Support