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