IPMI SEL design doc