Change debian image to armhf