MasterTimer frequency can be set from a configuration parameter

Updated and unified documentation of manual tuning of configuration parameters