I don't know if they're the right sensors (or correctly programmed - your model requires it), but I would be amazed if that make didn't work. IIRC, Huf were the OEM, at least for the 12C, where others have successfully used non-McLaren branded ones (again, IIRC, Huf RDE048). McLaren certainly don't make TPMS sensors, nor would I expect them to have a custom part made.
It'll be good to have the outcome documented here. Good luck - that's a lot of hassle for such a small thing.
It'll be good to have the outcome documented here. Good luck - that's a lot of hassle for such a small thing.