New post: upgrading debian kernel in stable release.