IPMI sur un DELL R410

[Olivier Le Cam <Olivier POINT LeCam AT crdp.ac-versailles.fr>]

Bonjour,

Je fais mes premiers pas sous OpenBSD. Je dispose d'un serveur Dell R410 
équipé d'un module IPMI que je voudrais pouvoir utiliser à travers le 
réseau, a minima pour contrôler l'alimentation électrique.

J'ai attribué une adresse IP au module IPMI. Au démarrage de la machine, 
tout fonctionne comme je le souhaite : l'interface IPMI répond au ping, 
aux commandes, je peux même accéder au BIOS de la machine en SOL.

Bref, tout va bien jusqu'à ce qu'OpenBSD démarre, l'interface IPMI 
arrête de répondre à tout sollicitation juste avant la phase "Automatic 
boot in progress: starting file system checks". Visiblement, c'est juste 
avant cela que les interfaces ethernet sont initialisées :

--- 8< --- [snip]
bnx0: address 00:26:b9:58:d2:0f
brgphy0 at bnx0 phy 1: BCM5709 10/100/1000baseT PHY, rev. 8
bnx1: address 00:26:b9:58:d2:10
brgphy1 at bnx1 phy 1: BCM5709 10/100/1000baseT PHY, rev. 8
Automatic boot in progress: starting file system checks
--- 8< ---

J'ai pris soin d'activer IPMI dans le noyau :
# dmesg |grep ipmi
ipmi0 at mainbus0: version 2.0 interface KCS iobase 0xca8/8 spacing 4

# sysctl hw.sensors |grep ipmi
hw.sensors.ipmi0.temp0=-53.00 degC (Temp), OK
hw.sensors.ipmi0.temp1=-51.00 degC (Temp), OK
hw.sensors.ipmi0.temp2=33.00 degC (Temp), UNKNOWN
hw.sensors.ipmi0.temp3=34.00 degC (Temp), UNKNOWN
hw.sensors.ipmi0.temp4=31.00 degC (Ambient Temp), UNKNOWN
hw.sensors.ipmi0.temp5=30.00 degC (Ambient Temp), UNKNOWN
hw.sensors.ipmi0.temp6=29.00 degC (Temp), OK
hw.sensors.ipmi0.temp7=35.00 degC (Temp), OK
hw.sensors.ipmi0.temp8=41.00 degC (Temp), OK
hw.sensors.ipmi0.temp9=25.00 degC (Ambient Temp), OK
hw.sensors.ipmi0.temp10=45.00 degC (Planar Temp), OK
hw.sensors.ipmi0.fan0=7080 RPM (FAN MOD 1A RPM), OK
hw.sensors.ipmi0.fan1=4800 RPM (FAN MOD 1B RPM), OK
hw.sensors.ipmi0.fan2=6960 RPM (FAN MOD 2A RPM), OK
hw.sensors.ipmi0.fan3=4800 RPM (FAN MOD 2B RPM), OK
hw.sensors.ipmi0.fan4=7080 RPM (FAN MOD 3A RPM), OK
hw.sensors.ipmi0.fan5=4800 RPM (FAN MOD 3B RPM), OK
hw.sensors.ipmi0.fan6=12000 RPM (FAN MOD 4A RPM), OK
hw.sensors.ipmi0.fan7=8280 RPM (FAN MOD 4B RPM), OK
hw.sensors.ipmi0.fan8=7080 RPM (FAN MOD 5A RPM), OK
hw.sensors.ipmi0.fan9=5040 RPM (FAN MOD 5B RPM), OK
hw.sensors.ipmi0.fan10=7320 RPM (FAN MOD 6A RPM), OK
hw.sensors.ipmi0.fan11=4920 RPM (FAN MOD 6B RPM), OK
hw.sensors.ipmi0.volt0=230.00 VDC (Voltage 1), UNKNOWN
hw.sensors.ipmi0.volt1=230.00 VDC (Voltage 2), UNKNOWN
hw.sensors.ipmi0.indicator0=On (Status), OK
hw.sensors.ipmi0.indicator1=On (Status), OK
hw.sensors.ipmi0.indicator2=Off (Intrusion), OK

Cela donne l'impression que le module IPMI est "débridgé" de l'interface 
ethernet de la machine au cours du boot. Il me semblait pourtant que 
cela était fait au niveau hardware ?

Une idée ?

D'avance, merci pour toute piste ou info !