Re: [PATCH] .gitignore: Add files produced by TI platform