Re: [SeaBIOS] QEMU regression problems - Update FPU