Re: [SeaBIOS] Serial keyboard support?