Nada, even from the Docker,
scripts/Makefile.build:267: recipe for target '/usr/src/app/example_module_jetson-tx2_2.7.4+rev1.prod/hello.o' failed
./arch/arm64/include/asm/opcodes.h:5:43: fatal error: ../../arm/include/asm/opcodes.h: No such file or directory
Any suggestions?