Ya no hay problema !! Se actualizó el paquete del kernel-source ayer mismo, y lo volví a compilar y tachán, ya va bien. Muchas gracias a todos, especialmente a Monkiki. Saludos: October