[package] kernel: add xen kmods