Resulta que tengo un kernel que falla y quiero activar por defecto uno más antiguo en un servicor Ubuntu 16.04. ¿Cómo lo hago?