[SeaBIOS] USB serial console support?