Merge xen (4.11.1+92-g6c33308a8d-2+rpi1) import into refs/heads/workingbranch
authorRaspbian forward porter <root@raspbian.org>
Thu, 27 Jun 2019 17:16:25 +0000 (18:16 +0100)
committerRaspbian forward porter <root@raspbian.org>
Thu, 27 Jun 2019 17:16:25 +0000 (18:16 +0100)

Trivial merge