[SeaBIOS] Re: [PATCH 0/2] Minor vgabios comment and variable name changes