Hi Martin,
I'm using HWInfo64 on W7x64 on a Tyan S8812 server board.
IPMI scanning used to work before I installed Intel's IPMI driver:
Intel Intelligent Management Bus Driver V13.0, dated 17/02/2008,
and disabled the MS Generic IPMI Compliant Device driver - which wasn't working anyway -...