Don't always dump the distro pretty format

Only dump these settings if verbose mode is enabled
which turns on debug logging.

Change-Id: I672fbcd03bc080942eaf6762326d2cf4c20256b1