added debian-7.4 platform to kitchen