kernel/cpu.c: define idle_notifier