[SeaBIOS] [RFC] vgabios over serial