
Fixes #817. As discussed in #817, this preference is not useful on Android >= 5.0. As such, the preference should just be removed. However, it should stay if the privileged installer is already installed (e.g. via update.zip or included as part of the ROM).