[SeaBIOS] vgabios testing