ipmi: convert to seq_file interface