Remove a Driver Package from the Driver Store

I had a problem recently when my HP SIM was reporting that the software on one of the server is not up to date. Upon inspection it turned out it was complaining about an outdated NIC driver. I couldn't update the driver because it was for a NIC mode that was not present in the system (perhaps it was at some stage in the past). This is what it looked like:

I found the following link to uninstall the driver:
http://msdn.microsoft.com/en-us/library/windows/hardware/ff557255%28v=vs.85%29.aspx

I also found this one, but had no chance to test it:
http://technet.microsoft.com/en-us/library/cc730875.aspx

Using the first link above did not resolve the issue.
I was not able to use the second link since pnputil.exe did not list the troublesome driver.

I ended up manually cleaning up the registry from all references to bxvbda.sys and netbvbda.inf files.