Kristian Klausen authored Feb 26, 2020 and Christian Rebischke committed Mar 01, 2020

Note: The mirror is only used under the bootstrapping process, the
image contains the default mirrorlist with every server uncommented.

Fix #87