IPMI support in Linux