Two errors I made: * cycle durations are not constant, their value relies on the cbr * tsc frequency was not exactly 2.7Ghz, now calculated at runtime
