Si, es verdad no encontré tampoco, pero a mi me paso algo similar con una acer... y le meti drivers de otros modelos. Busca alguno que sea compatible con 64bit de HP, o sea otra HP con parecidas características a la tuya y capas que te anda