xen: make phys_to_machine structure dynamic