add a menuconfig option for specifying a local download mirror