Re: [SeaBIOS] how sea bios set VGA bar address?