The method on that page mentions “bcmdhd”. And if you google search it, you will find out it is Broadcom wifi device.
Thus, actually nobody can answer your case directly because AGX does not come with wifi. You probably use your own wifi device here.