I should have probably asked earlier, but is this cross compile on the host, or native compile on the Jetson? I see it is looking for an x86 file, yet the jetson is arm64, so I suspect it is a case of setting up for cross compile. If this was cross compile from a PC host the build commands require additional changes.
FYI, I always save a copy of the default system’s “/proc/config.gz”. This is a better starting configuration than is the defconfig. All you have to do is to be running the kernel before you change the kernel and that file is an in-RAM representation directly from the kernel to tell you exactly how it is configured (well, CONFIG_LOCALVERSION is not set).