[Kimchi-devel] [PATCH] [Kimchi 3/7] Update Debian remote images.