Comment 358 for bug 263555

Well, I have gotten hold of and applied the recovery tool. Unfortunately it does not work for the following reason:

The device does not list in lspci or lspci -n because it is dead, therefore I cannot find the new device ID because it doesn't have one. The tool relies on this information to work. Apparently there are other tools that will get around it via some kind of BIOS update direct from intel. Thought you would all like to know.