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