Merge branch 'core/documentation' into core/urgent, to pick up single commit

Signed-off-by: Ingo Molnar <mingo@kernel.org>