/debian.linaro/config/armhf/