The second incompleteness theorem does not rule out consistency proofs altogether, only consistency proofs that can be formalized in the system that is proved consistent.
The second incompleteness theorem does not rule out consistency proofs altogether. This is only consistency proofs. These consistency proofs can be formalized in the system. This system is proved consistent.