I'm tracing through dev/ipmi. it seems ipmi_smbus_identify() and ipmi_smbus_probe() never gets call on my board. smbus module is included in my kernel. what am I missing?