4636 ipmi driver needs to coordinate access to the dev_list
Reviewed by: Keith M Wesolowski <wesolows@foobazco.org>
Reviewed by: Jerry Jelinek <jerry.jelinek@joyent.com>
Reviewed by: Marcel Telka <marcel.telka@nexenta.com>
Reviewed by: Dan McDonald <danmcd@omniti.com>
Approved by: Garrett D'Amore <garrett@damore.org>
4637 ipmi driver calls delay without converting to hz
Reviewed by: Robert Mustacchi <rm@joyent.com>
Reviewed by: Marcel Telka <marcel.telka@nexenta.com>
Reviewed by: Dan McDonald <danmcd@omniti.com>
Approved by: Garrett D'Amore <garrett@damore.org>
	[illumos-gate merge]

commit 12950e8eb3edc5da750616c08afe6281bf554aee
    4637 ipmi driver calls delay without converting to hz
commit 164b0ee5065e049b55a69e2bc0d31757ffafae07
    4636 ipmi driver needs to coordinate access to the dev_list