I had this problem once in boinc where 1 card would not be detected by the program.  I had to go into the bios and set "decode above 4g" to on (not auto) and they all worked after that.

It is a shot in the dark but it may be worth trying.