extra/docker: upstream only supports x86_64