[SeaBIOS] Re: [PATCH 3/9] stdvga: Rename CGA palette functions