https://www.michelebologna.net/2012/ksplice-aggiornare-il-kernel-di-ubuntu-senza-riavviare/
Ksplice: aggiornare il kernel di Ubuntu senza riavviare