/* Decode IPMI sensor name */