[PATCH] CPU hotplug: call check_tsc_sync_source() with irqs off