This update for xen fixes the following issues:
{ "binaries": [ { "xen-devel": "4.12.4_24-3.71.1" } ] }
{ "binaries": [ { "xen-libs": "4.12.4_24-3.71.1", "xen-doc-html": "4.12.4_24-3.71.1", "xen-libs-32bit": "4.12.4_24-3.71.1", "xen-tools": "4.12.4_24-3.71.1", "xen-tools-domU": "4.12.4_24-3.71.1", "xen": "4.12.4_24-3.71.1" } ] }