WARNING: CPU: 0 PID: 3031 at ./arch/x86/include/asm/fpu/internal.h:530 fpu__restore+0x90/0x130()

Hey Andy, can you make any sense of this: [ 90.573923] ------------[ cut here ]------------ [ 90.574977] WARNING: CPU: 0 PID: 3031 at ./arch/x86