does ipmi boot, but dhcp fails because it's running the wrong dnsmasq.