[SeaBIOS] Re: [PATCH v2] Preserve Xen DebugOutputPort