[PATCH 4.16 47/52] x86/tsc: Fix mark_tsc_unstable()