Eu não consegui editar essa informação na BIOS, ao invés disso instalei o CentOS 7, então fiz:
Instale a ferramenta ipmi
yum install ipmitool
carrega módulos ipmi eu ainda não entendo completamente porque eu tive que carregar os módulos ipmitools separadamente aqui:
modprobe ipmi_devintf
modprobe ipmi_msghandler
modprobe ipmi_si
modprobe ipmi_poweroff
Configure o IPMI usando o ipmitool em vez do BIOS
ipmitool lan set 1 ipsrc static # <-- Set static IP address instead of DHCP
ipmitool lan set 1 ipaddr <ip_address> #<-- Put the ip address you want it to have here, probably a local one like 10.x.x.x or 192.168.x.x
ipmitool lan set 1 netmask <network mask> #<-- Set your netmask here (like 255.255.0.0)
ipmitool lan set 1 defgw ipaddr <gateway> #<-- Set your gateway here (something like 10.1.1.1 or 192.168.1.1)
ipmitool lan set 1 access on
ipmitool user set name 5 <username> #<-- Set user name for IPMI
ipmitool user set password 5 <password> #<-- set password
Neste ponto, você deve poder acessar o IPMI através de um navegador da Web: