[SeaBIOS] Patch for warning in Makefile for seabios 1.7.0