Re: [SeaBIOS] Commit d6728f301d7e ("add serial console support") causes double-printing