kernel 3.10.17 with Xen dom{0,U} support