A single fix for the scheduler:

 - Make is_idle_task() __always_inline to prevent the compiler from putting
   it out of line into the wrong section because it's used inside noinstr
   sections.