K 10 svn:author V 3 mav K 8 svn:date V 27 2013-02-23T18:32:42.010054Z K 7 svn:log V 364 Add basic and not very reliable protection against going to sleep with thread scheduled by interrupt fired after we entered critical section. None of cpu_sleep() implementations on ARM check sched_runnable() now, so put the first line of defence here. This mostly fixes unexpectedly long sleeps in synthetic tests of calloutng code and probably other situations. END