That seems a rather small and functionally trivial part of the question, which as you point out has already been well covered.
What hasn’t been covered and is fully on topic and appropriate is if the Microchip kit’s gateway is suitable for use on TTN.
It’s really not in the community network’s best interest to be telling people to figure that out on their own - as amply demonstrated by all the SCPF arguments.
Do you want to rely on Microchip’s word if a gateway is suitable for TTN? I believe we have current threads on how Dragino’s or Adafruits instructions for connecting non-compliant non-gateways to TTN must be disregarded.
I’m not aware of any actual reasons why the Microchip gateway would be unsuitable for TTN. But it’s a fully legitimate question that should matter to the community even more than it does to the asker.