Merge xen (4.8.5+shim4.10.2+xsa282-1+deb9u11) import into refs/heads/workingbranch
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Jan 2019 18:01:30 +0000 (18:01 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Jan 2019 18:01:30 +0000 (18:01 +0000)

Trivial merge