Mirror can now be selected in projects/RPi-Lakka/options (LAKKA_MIRROR)