I found a good deal on some AOC-STGN-I2S 10Gb NICs. They are Intel 82599ES based NICs. However, they are branded "CORAID" and their PCI configuration is all messed up. They have PCI device ID 0x0001, which doesn't correspond to anything, so the drivers won't load. Anyone know how to make these "normal" Intel 82599ES NICs?