Merge xen (4.8.1-1+rpi1) import into refs/heads/workingbranch
authorRaspbian forward porter <root@raspbian.org>
Wed, 26 Apr 2017 20:03:55 +0000 (20:03 +0000)
committerRaspbian forward porter <root@raspbian.org>
Wed, 26 Apr 2017 20:03:55 +0000 (20:03 +0000)

Trivial merge