xen: fix build with kernel 3.18