Update - there are actually two compatible miniPCI cards I'm aware of.
The Dell TrueMobile 1150 is available in miniPCI as well as PC Card.
Check the users guide within the next 24 hours. I just committed the
supported wireless card list, which will be updated to the production
site at the next run at 2 AM Manuel's time.