But I doubt it is legal to provide any binary image (e.g. nv-jetson-nano-sd-card-image-r32.4.2b.zip) without the matching sources. At least it is not helpful for the developers. Maybe you can improve on this in future.
Just for the records: I extracted the nvgpu.ko kernel module from the nv-jetson-nano-sd-card-image-r32.4.2b.zip and replaced the one from the source build with it.After this the hangups/errors were gone. 781b155fdc