[SeaBIOS] [PATCH] Preserve Xen DebugOutputPort