Synopsis: Make the ipmi(4) driver work under NetBSD/i386 3.x

State-Changed-From-To: open->closed
State-Changed-By: bouyer@netbsd.org
State-Changed-When: Mon, 08 Jan 2007 19:04:31 +0000
State-Changed-Why:
This has been pulled up to netbsd-3. I didn'
t use the patch in the PR though: it misses mainbus.c and the man page,
the backport of the UVM stuff is wrong (lacks physical memory), and I also
requested a pullup of the Xen IPMI support in a separate ticket.
Thanks for the PR !