Add debian 6.0.8 and 7.2.0 platform