boot_ip_hex will need to be cleaned up in the sane fashion as boot_device is.