[FRsaG] Propagation de kernels sur VM Xen