Patched one bug for xen architecture