kernel: add xen kmods