Resolve "ARMv7 Docker builds are broken"

Merged JuniorJPDJ requested to merge 1904-armv7-docker-builds-are-broken into develop
Edited by JuniorJPDJ

Merge request reports