Re: [PATCH] x86/xen: fix SLS mitigation in xen_hypercall_iret()