Bem-vindo ao Supermicro, onde os documentos são inconsistentes e muitas vezes errados. O que eu geralmente acabo fazendo é pesquisar ftp://ftp.supermicro.com até encontrar algo que pareça útil.
No seu caso, sugiro que você verifique se há atualizações para o BIOS antes de tentar qualquer outra coisa. O BIOS da IPMI e o BIOS real parecem estar intimamente ligados, e a atualização do real pode ajudar.
De lá, sugiro que você dê uma olhada nas ferramentas em ftp://ftp.supermicro.com/utility/ , um deles provavelmente funcionará para você, mesmo que nenhum deles afirme explicitamente apoiar sua placa-mãe. O diretório 'IPMI FW flash tools' é provavelmente onde eu deveria começar.
Devo observar que é possível acionar a placa-mãe ou o controlador IPMI usando a ferramenta flash de firmware incorreta. As únicas pessoas que podem dizer qual ferramenta está correta são a própria Supermicro.