The first thing you need to know it’s that although the PCI output shows a Realtek 8171 wireless adapter, in reality it is a Realtek RTL8191SE!
With this in mind you only need to download this file which was referenced in this thread on post #134 and execute the commands below. Make sure to remove the NDISWrapper driver before doing this if you have already installed and set it up.