I just got an answer from Elbox regarding Spider. They say that they do not provide Pegasos drivers for it. So, my third solution is gone...
@timeoftonic:
No, even the latest OpenPCI version does not fix that bug. I tried out by myself with the ArakAttack Demo, and Guido Mersmann told me that it still wont work, too.