place nointerrupt handlder to debug monitor if KProbes is disabled.
mention tickless scheduling and KProbes as F9 characteristics