[SeaBIOS] [RFC PATCH 0/2] seabios: add serial console support