[SeaBIOS] Re: [PATCH 2/4] paravirt: improve debug logging