Hello Chih Wen Lee,
I don’t think there is an AVL per se but any WiFi SDIO may be used as long as they adhere to the SDIO standard and that you provide the necessary driver.
That being said, some users from the communities have mentioned the ones below but there may be others. Please note that these are third party sites and that these third parties provide support to these products.
http://silexamerica.com/products/connectivity-solutions/embedded-wireless/radio-modules/sx-sdcan/
http://www.redpinesignals.com/Modules/Internet_of_Things/nLink_Family/RS9110-N-11-02.php
Maybe some community users may add to the conversation with their own experience since there is not an AVL.