b. Go to “PCIe Ports” > Enable Ports → Select the port number from above (i.e. p4)
c. Select “Restore port4” under Anti-whitelist
i. It should say “SUCCESS!! Dev:ven is registered on port4”
From reading this thread, it sounded like the BIOS is turning off the port (4 noted above) when it doesn't see specified wifi cards installed. And that all 4530s owners need, is for something to switch the port back on during boot, so the drivers can see and work with the wifi card they've installed.
A general setting in the Probook Installer to "Re-enable BIOS-disabled devices" might be of general value/interest, if focusing on port 4 for the 4530s is too specific.
I just got a AR5BHB92 that should work with the OS, but my 4530s BIOS is shutting it down. I'd like to get past that in an easily-achievable way at each OS update.