Top level config option without any kind of help... is kind of
strange. Remote processors could also mean some kind of distributed
computing...
Signed-off-by: NPavel Machek <pavel@ucw.cz>
Signed-off-by: NBjorn Andersson <bjorn.andersson@linaro.org>