Invariant TSC check and SMP timeouts tweaked.