IPMI auf Mainboard Intel S3420GP

[Meinhard Schneider <meini@meini.org>]

Hallo,

ich habe hier einen älteren Server mit Mainboard Intel S3420GP, darauf läuft
Debian/Jessie mit Kernel 4.9.0-0.bpo.3-amd64.

Ich versuche verzweifelt, IPMI (u.a. für Watchdog) zum Laufen zu bekommen.
Allerdings lädt der Kernel keinen passenden Treibe für IPMI bzw. sagt er findet
keine passende Hardware:
root@icinga:~# dmesg | grep -i ipmi
[   12.551573] ipmi message handler version 39.2
[   12.559036] ipmi device interface
[   12.559597] Copyright (C) 2004 MontaVista Software - IPMI Powerdown via sys_reboot.
[   12.560585] IPMI System Interface driver.
[   12.560617] ipmi_si: Unable to find any System Interface(s)
[   12.845657] IPMI Watchdog: driver initialized

Laut den Handbüchern von Intel hat das Board aber sehr wohl IPMI.

Weiß jemand, wie man IPMI auf dem Board zum Laufen bekommt?

Viele Grüße
Meinhard