wl1251

wl1251 is a driver for TI wl1251 802.11 chipset designed for embedded devices, supporting SDIO and SPI busses. Adding support 1253 (the 5 GHz version) should be relatively easy.