Re: Docker base image naming for non-x86_64