Re: [SeaBIOS] [PATCH] Support more than one vga card