Re: [PATCH 2/3] clockevents: Restart clockevent device before using it again