* add support to Linux timer for getting the frequency of the Timebase on a PPC Linux box This commit was SVN r6947.