Merge branch 'perf/urgent' into perf/core, to pick up fixes
authorIngo Molnar <[email protected]>
Tue, 2 Oct 2018 07:50:34 +0000 (09:50 +0200)
committerIngo Molnar <[email protected]>
Tue, 2 Oct 2018 07:50:34 +0000 (09:50 +0200)
Signed-off-by: Ingo Molnar <[email protected]>

Trivial merge