hi! does anybody know if the wlan and bluetooth chips cards which get shipped with the new dell laptops work with debian/linux? thanks! ciao! florian