[SeaBIOS] Fails to make/build on ubuntu '-mdisable-fpregs'