Sometimes the CPUID(0x15) still returns the zero tsc frequency. In such case the base frequency of cpuid(0x16) is used as tsc frequency. Signed-off-by: Zhao Yakui <yakui.zhao@intel.com> Acked-by: Eddie Dong <eddie.dong@intel.com>