Xen 4.8.1 has been released: https://www.xenproject.org/downloads/xen-archives/xen-project-48-series/xen-481.html
fixed in tree, thanks