coccinelle patches for 5.16-rc1

Update MAINTAINERS information (mailing list, web page, etc).

Add a semantic patch from Wen Yang to check for do_div calls that may
cause truncation, motivated by
commit b0ab99e7736a ("sched: Fix possible divide by zero in avg_atom() calculation")

Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
coccinelle: update Coccinelle entry

Update mailing list, website, and tree.  Drop Michal Marek as a
maintainer, who has not participated in a long time.

Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
Reviewed-by: Kees Cook <keescook@chromium.org>
1 file changed