[PATCH] x86_64: NMI watchdog frequency calculation adjustments