Re: [Stratos-dev] [RFC PATCH 00/15] Xen guest-loader and arm64 build fixes/enhancements