place nointerrupt handlder to debug monitor if KProbes is disabled.
mention tickless scheduling and KProbes as F9 characteristics
update thread_select to non-recursive