sched: Print max frequency in sched_get_task_cpu_cycles trace point

Scheduler knows max frequency allowed by both thermal driver and
cpufreq. cpu_max_freq() returns the minimum of these two. Printing it
in sched_get_task_cpu_cycles() is useful in understanding the actual
frequency and limits vs cpufreq view of the frequency and limits.

Change-Id: I7354d34505d6ea771a42f4eaa4412afd96077fa2
Signed-off-by: Pavankumar Kondeti <pkondeti@codeaurora.org>
[satyap@codeaurora.org: trivial merge conflict resolution]
Signed-off-by: Satya Durga Srinivasu Prabhala <satyap@codeaurora.org>