[SeaBIOS] Re: [PATCH] Preserve Xen DebugOutputPort