Won't ever buy anything HP again
Bought an HP laptop about 10 years ago, wifi card didn't work with Linux (this was a while ago). Found an equivalent mini pci-e wifi card that was compatible from Germany, took off the easy access panel and swapped it out for the original HP one.
HP's BIOS refused to POST with a card that was not an original HP part.