xen/xenbus: fix xenbus_setup_ring()