Re: [SeaBIOS] Question about the relationship between bios.bin and vgabios.bin