Configuring the Time-Stamp Counter

Utilize high-precision CPU timers for benchmarking boot performance.