xen optimizations