Re: [Patch-for-stable-4.14 0/6] x86/xen: backport of commit 867cefb4cb1012