No matches were found for subject:"freebsd\-head\: suddenly NMI panics lead to ddb being unable to stop CPUs\?"