[PATCH 6.13 133/443] x86/xen: fix xen_hypercall_hvm() to not clobber %rbx