x86: Recover timer_ack lost in the merge of the NMI watchdog