Need to build SCTP module

I need the “sctp” module for my Jetson TX running 32.3.1, but it’s not part of the binary debian package. I pulled down the public 4.9.140-tegra.source and used the /proc/config.gz (edited to include sctp) for to try to build the module, but that won’t let me load the resultant module. Is there a simple way to do this?

Have modify the …/kernel/kernel-4.9/arch/arm64/configs/tegra_defconfig and build the kernel Image from below document.

I’ll give that a try. I was hoping to avoid rebuilding the entire kernel, but I may not have a choice. :\