Debian 7 "Wheezy" - upgrade linux kernel