Potenzialmente, una qualunque scheda WiFi in formato M2 sarebbe compatibile.
Al lato pratico, bisogna vedere se lato BIOS è stata inserita una whitelist di schede "certificate".
Qui puoi trovare il manuale di manutenzione: http://h10032.www1.hp.com/ctg/Manual/c05505821
La migliore elencata dovrebbe essere la Intel AC 7265, su eBay o su Aliexpress dovresti riuscire a recuperarla facilmente. Sarebbe preferibile che la scheda sia di origine HP, ma generalmente nelle descrizioni lo specificano.
Nel caso non ci fossero whitelist, ti direi di acquistare una Intel AX200.