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