Для настройки IPMI на сервере достаточно вписать IP адрес и конфигурацию сети в BIOS.
Включаем сервер, видим заставку, ждём надписи "Press <DEL> to run Setup":
Жмём DEL, должна появиться надпись "Entering Setup...":
Отдыхаем и ждём окна BIOS. Переходим во вкладку IPMI:
Переходим в BMC Network Configuration:
Выбираем Update IPMI LAN Configuration:
Yes:
Дальше настраиваем конфигурацию сети:
Сохраняем и перезагружаемся:
Вот тут примечание - после первой перезагрузки IP адрес не меняется. Пришлось чуть позже перезагрузиться второй раз:
Вот теперь IP адрес нужный. Теперь можно через IPMI подключиться к консоли сервера, примонтировать ISO образ и установить ОС.