added config for debain_whhezy_backport to have access to the latest kernel images.