Diff xen-4.17.2 with a xen-4.20.2_pre0

Thank you!