Commented out call to PsDispatchThread(THREAD_STATE_RUNNABLE) in order to get MP...