Remove spurious warning #3984

Now

WARNING: EvalPool of PREEMPT_VANILLA resulted in ERROR or UNDEFINED

will only show up if the admin has tried to define this in the config
file.
Document #3984
Merge branch 'V8_0-branch'