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