Replace XIDs with CARD32s in the xc_misc protocol descriptions.