Peter Humphrey wrote:
> Can anyone point me to the parameter concerned? I can't find it with grep.

Could it be CONFIG_DETECT_SOFTLOCKUP?

-- Remy