These drivers are KNOWN to have PROBLEMS with 32bit RedHat kernels with 4k 
kernel stacks.

It is highly suggested that you NOT use these drivers but instead use the 64bit
version on a 64bit hardware.