Added support for x86 TSC clock register, currently making it work just on x86 architecture (TODO: RPi ARM port)