Add armhf support to single_deb.py