[SeaBIOS] [PATCH 12/13] geodevga: fix errors in geode_fp_* functions