x86: add warning to check_tsc_warp()