[Android] Forgot to document the new parameter used in SaveConfigToDolphinIni() in the last change. Fixed that.