[Mailman-Developers] Using mailman with the secure-linux kernel patch