Hi all,would these changes have a chance to go into a stable release?fb02fbc1 (NOHZ: restart tick device from irq_enter())c4bd822e (NOHZ: fix thinko in the timer restart code path)Regards,Elias