Buffer overflow in the Python bindings for the xc_vcpu_setaffinity call in Xen