.gitignore: add SPDX License Identifier
[linux-block.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / tests / store_buffering / .gitignore