adding 956c42af6c6a21bd47ced2212e18d96dcc8aa089 for xen