Merge branch '2020-10-23-revert-xen-changes'
authorTom Rini <trini@konsulko.com>
Fri, 23 Oct 2020 13:16:20 +0000 (09:16 -0400)
committerTom Rini <trini@konsulko.com>
Fri, 23 Oct 2020 13:16:20 +0000 (09:16 -0400)
I had inadvertently merged the Xen series before everything was fully
happy with the board maintainer.  Revert the series.


Trivial merge