Go into the hardware manager, and loo to see what the WIFI manufacturer is. The middle ware you speak of (hotkey strip) is just that, middleware. It does nothing but place a user layer between you and the devices settings. Once you have found out what chipset you have, go that manufacturer and search for the proper drivers. 32 or 64 bit, do you know?