Re: [SeaBIOS] [PATCH] Increase debug level of Xen detection code.