Change in coreboot[master]: util/cbmem: Print timestamp frequency in verbose mode

[Martin Roth (Code Review)]

Martin Roth has posted comments on this change. ( https://review.coreboot.org/22821 )

Change subject: util/cbmem: Print timestamp frequency in verbose mode
......................................................................

Patch Set 1:

Another option I considered was separate debug statements to also indicate how the frequency was found:  From the timestamp table, or from the arch_tick_frequency() call.  I decided that level of information wasn't generally needed, but if others disagree, I can update the patch.