Updated WiFi driver based on semaphore kernel

Thanks to stratosk!

Change-Id: I832c6ed1397e0d25080b3e882c02d1c960b6cee4