x86_64: hpet tsc calibration fix broken smi detection logic