Generic cleanup of the Xen driver code