[SeaBIOS] [PATCH] vgabios: Rename vbe_flags to flags