Re: [SeaBIOS] [PATCH v3 0/6] add serial console support