Re: [SeaBIOS] [PATCH] gitignore: ignore config.mak