[PATCH] x86-64: Fix bad assumption that dualcore cpus have synced TSCs