include/config/ipmi/device/