[SeaBIOS] Get rid of a compile time dprintf warning