[SeaBIOS] [PATCH v2] Preserve Xen DebugOutputPort