commit 7f61298b5d4c36b38e3c9e96fd0357c564bc3b9d
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Nov 29 17:15:01 2020 +0100

    x86: clear exceptions etc. on fpinit
    
    fpu_rstor is not enough, exceptions and such remain behind, so restore
    calling fninit.
    
    * i386/i386/fpu.c (fpinit): call fninit() before fpu_rstor().

diff --git a/i386/i386/fpu.c b/i386/i386/fpu.c
index ee8cadcd..69c495c8 100644
--- a/i386/i386/fpu.c
+++ b/i386/i386/fpu.c
@@ -581,6 +581,7 @@ static void fpinit(thread_t thread)
 
 ASSERT_IPL(SPL0);
 	clear_ts();
+	fninit();
 	fpu_rstor(fp_default_state);
 
 	control = thread->pcb->init_control;
