[PATCH 1/2] Fix incorrectly named __kernel_get_tbfreq VDSO function

[David Miller]

From: "Ryan S. Arnold" <ryan.arnold@gmail.com>
Date: Thu, 29 Nov 2012 15:07:30 -0600

> This patch slipped through my 2.17 pre-freeze roundup for PowerPC but
> it's a correctness issue.
> 
> Without it Tulio Quites Machado's __ppc_get_timebase_freq function
> ends up using the proc file system fallback for querying the timebase
> frequency rather than the VSYSCALL, since the name doesn't match.
> 
> I'd like to check this in for 2.17 (after verification of course).

This is fine, please commit it.