Merge branch 'tip/x86/entry'
authorPeter Zijlstra <peterz@infradead.org>
Fri, 10 Jul 2020 09:59:59 +0000 (11:59 +0200)
committerPeter Zijlstra <peterz@infradead.org>
Fri, 10 Jul 2020 09:59:59 +0000 (11:59 +0200)

Trivial merge