xen_init will fail is the id is invalid.  What did we also need this function then?