x86: Improve TSC calibration using a delayed workqueue