Never debugged a kernel bug, so I am not sure either. but I think it is should be a kernel configuration to let kernel dump a backtrace like the one I posted.
The RHEL5 kernel should be stable, otherwise, we will be flooded with bug reports like yours.
Is there any kernel parameter, tuning...