We need the kernel configuration of the working case. (You must have a source code and configs available for any binary-distributed GPL programs, do you remember? :) Or, more simply: it may be read from /proc/config.gz on the running system.