Add config for debian-7-i386