The source project of this merge request has been removed.
community/docker: upgrade to 19.03.13
Also remove stale mips-related patches -- we currently don't build for mips anyway.
For more information about 19.03.13, see https://github.com/docker/docker-ce/releases/tag/v19.03.13