Kaon condensation in the color–flavor-locked phase of quark matter, the Goldstone theorem, and the 2PI Hartree approximation