Re: [SeaBIOS] [RFC] vgabios over serial