Re: [SeaBIOS] [PATCH] vgabios: Reorder video modes to work around a Windows bug