[SeaBIOS] [PATCH 10/23] build: Fix import of gcc dependency files.