Re: [PATCH] clocksource: register cpu notifier to remove timer from dying CPU