Re: [SeaBIOS] [PATCH] Use dedicated HVM debug io port for Xen