Re: [Xen-devel] [PATCH] x86/entry/64: Remove %ebx handling from error_entry/exit