You may, incidentally, want to enable CONFIG_LOCKDEP (or maybe CONFIG_LOCKDEP_SUPPORT) as well as magic sysrq support, and arrange to send a alt-sysrq-t when the machine is hung to get a useful backtrace.