Raspberry Pi port, piCore-15.0 is available!
OK, so you need to add the "blacklist=bcma,ssb,b43" boot code, reboot and load wl-modules-KERNEL before the wifi extension.