deregister vm in dhcp, populate mapping table xen <-> hardware. webui: link to hardware