The HP BIOS that locks non-whitelisted mini-PCI cards out?

"...apparently his HP laptop’s BIOS has a mini-PCI card whitelist—upgrade the card with a non-HP-approved device, and your laptop won’t boot."