[SeaBIOS] [PATCH 3/5] vgabios: Claim VBE 3 support; minor VBE cleanups.