Add Debian 7 Wheezy with wheezy-backports kernel