[patch 15/15] sched: Make hrtick_notifier an explicit call

No need for an extra notifier. We don't need to handle all these states. It's sufficient to kill the timer when the cpu dies. Signed-off-by: Thomas G