Fixes a bug in previous, exposed by # drvctl -d ipmi0 # drvctl -r -a ipmibus mainbus0 *lockdebug panic here*