Docker image for cross-building for debian armel systems