[SeaBIOS] [PATCH 1/2] Rename tools/ directory to scripts/ directory.