Just had the same problem.
MacPro is running in 32-bit Mode permanently (done with terminal-command)
One day it worked, next day error-message, next day back to life.

Also I´m wondering if the hardware-revision of the PE4 has something to do with it, i have some cards which are shorter than others.

Any ideas?