kern/171524: [ipmi] ipmi driver crashes kernel by reboot or shutdown

[Sean Bruno]

The following reply was made to PR kern/171524; it has been noted by GNATS.

From: Sean Bruno <seanbru at yahoo-inc.com>
To: bug-followup at FreeBSD.org, dhojnik at brainbits.net
Cc:  
Subject: Re: kern/171524: [ipmi] ipmi driver crashes kernel by reboot or
 shutdown
Date: Tue, 11 Sep 2012 12:56:16 -0700

 It looks like the fix is not in releng_91 for release.
 http://svnweb.freebsd.org/base/stable/9/sys/dev/ipmi/ipmi.c?revision=239920&view=markup
 
 You can either patch the system by hand by applying this change to your
 local tree or update to stable/9 to fix this.
 
 http://www.wonkity.com/~wblock/docs/html/stable.html
 
 Sean