28c28
< __FBSDID("$FreeBSD: head/sys/dev/ipmi/ipmi.c 200666 2009-12-18 12:10:42Z ru $");
---
> __FBSDID("$FreeBSD: head/sys/dev/ipmi/ipmi.c 220614 2011-04-14 07:14:22Z ru $");
716c716
< device_printf(dev, "IPMI device rev. %d, firmware rev. %d.%d, "
---
> device_printf(dev, "IPMI device rev. %d, firmware rev. %d.%d%d, "
719c719
< req->ir_reply[2] & 0x0f, req->ir_reply[4],
---
> req->ir_reply[2] & 0x7f, req->ir_reply[3] >> 4, req->ir_reply[3] & 0x0f,