More linty cleanup

@@ -2252,11 +2252,10 @@
         sk = SSL_get_ciphers(ssl);
         if (sk == NULL)
                 return;
 
         for (i = 0; i < sk_SSL_CIPHER_num(sk); i++) {
-                /* LINTED */
                 c = sk_SSL_CIPHER_value(sk, i);
                 libbootlog(BOOTLOG_VERBOSE, "%08lx %s", c->id, c->name);
         }
         name = SSL_get_cipher_name(ssl);
         if (name == NULL)