El comando para compilar el kernel es el siguiente: