Re: [Xen-devel] [PATCH 1/2] x86/entry/64: Do not clear %rbx under Xen