Use port 3128 for newer mobile backend Varnish servers

Change-Id: I6bcc1dfb902c8bcdfded22f062a24dbbd422332d