Merge branch 'WIP.x86/fpu' into x86/fpu, because it's ready
authorIngo Molnar <[email protected]>
Tue, 26 Sep 2017 08:17:43 +0000 (10:17 +0200)
committerIngo Molnar <[email protected]>
Tue, 26 Sep 2017 08:17:43 +0000 (10:17 +0200)
Signed-off-by: Ingo Molnar <[email protected]>

Trivial merge