Re: [SeaBIOS] [PATCH 1/5] geodevga: fix errors in geode_fp_* functions