For the love of God, if you’re having trouble getting your wireless NIC recognized on a linux laptop, make sure you have MiniPCI turned on in your BIOS. Don’t waste half a day like I just did. It’s not worth the massive headache. (On the bright side, I learned a lot.)