[PATCH] MAINTAINERS/CREDITS: Update SELinux contact info