[PATCH v3 03/13] libxl: turn libxlCapsAddCPUID() to void