[SeaBIOS] [PATCH] Rename rom_get_top() to rom_get_max().