Re: [SeaBIOS] [PATCH v2] Introduce config option to select which IO port to send debug output on