The Chromebook is a bliss :) Yet, the price is really high at the moment.
I have found a German hardware vendor which sells a compact, but cheap USB wireless adapter. The driver is open source, but I do not know about the firmware
Source code: http://www.edimax.com/images/Image/Driver_Utility/Wireless/NIC/EW-7811Un/rtl8192CU_8188CU_linux_v2.0.939.20100726.zip
Product information: http://www.edimax.eu/en/produce_detail.php?pl1_id=1&pl2_id=44&pl3_id=170&pd_id=324#03 Listing on Amazon.com: http://www.amazon.com/Edimax-EW-7811Un-Wireless-Adapter-Wizard/dp/B003MTTJOY/ref=sr_1_1/182-1603766-5702741?ie=UTF8&qid=1373798954&sr=8-1&keywords=EDIMAX+EW-7811UN