Allow RDTSC_FREQUENCY to override kernel tick rate.
Allow RDTSC_FREQUENCY to override kernel tick rate.


jdelgadoalfonso/openpgm,jdelgadoalfonso/openpgm,jdelgadoalfonso/openpgm,jdelgadoalfonso/openpgm,jdelgadoalfonso/openpgm,jdelgadoalfonso/openpgm