Dockerfile builds just fine for/on armhf these days, and thus the outdated Dockerfile.armhf should not be needed anymore.