linux/Documentation/devicetree/bindings/ipmi/