@Giovanni: you might want to install the linux-generic metapackage so that you will always get the right headers together with updated kernels
@Giovanni: you might want to install the linux-generic metapackage so that you will always get the right headers together with updated kernels