Re: [PATCH RFC 0/4] Scheduler idle notifiers and users