Re: [SeaBIOS] seabios serial console vs. sgabios