Re: [SeaBIOS] Get rid of a compile time dprintf warning