2014-08-10-16.12.12: src/lib/src/lib/thread-kit/src/core-thread-kit/microthread-preemptive-scheduler.api: Add wake_scheduler_hostthread_if_paused().