How do I do to download and install a new kernel using apt-get? I mean, what line should be added to sources.list? What is the last kernel without bugs? Thanks Antonio.