scripts: coccinelle: Fix description of badty.cocci