I recompiled the kernel (re-run JetsonHacks scripts) and all sudden WIFI worked!
Well, I manually edited .config and changed CONFIG_VIDEO_IMX219=m to CONFIG_VIDEO_IMX219=y to enable Sony IMX219 sensor. Earlier I used Kernel Configuration GUI to enable IMX219, which ended up with “CONFIG_VIDEO_IMX219=m” in the .config file (and WIFI was gone after compilation, though I truly doubt the correlation between them).
@linuxdev, thanks for the config dump. I did the comparison yesterday with another TX2 but didn’t see any substantial difference.
@snarky, I think what you said make sense. What puzzled me is that how to collects all the modules needed. Currently I can only rely on the scripts, such as JetsonHacks’, to build the kernel.
Anyway, magically the WIFI is back.
By the way, my TX2 is unable to detect 5GHz WIFI (802.11ac). I have a AT&T NVG599 running dual bands. My TX2 only sees the 2.4GHz network. Although the TX2 product claims to support 802.11ac, I heard that TX2 is not yet ready for 5GHz. Just thought of bring it up to confirm.