The first URL you listed possibly applies, the others are for a TX1. Although concepts of EDID and hotplug are the same on a TX1 I suspect only the kernel patch of the TX2 URL would be valid (the TX1 has some similar hardware, but the kernel series is a complete generation older). Have you tried that first URL’s patch?
If you’ve never cross-compiled a kernel here is a URL you may find of interest:
[url]http://www.jetsonhacks.com/2017/03/25/build-kernel-and-modules-nvidia-jetson-tx2/[/url]