It turned out that one of the 2 parameters I changed caused the kernel to hang during boot.
This method is indeed working:
- Flash Xavier with Jetpack 4.4 via SDKManager
- On the Xavier download L4T 32.4.3 sources here: https://developer.nvidia.com/embedded/L4T/r32_Release_v4.3/sources/T186/public_sources.tbz2
- tar -xvf ./public_sources.tbz2
- cd Linux_for_Tegra/source/public
- mkdir tmp;cd tmp
- tar -xvf …/kernel_src.tbz2
- ./nvbuild
- …Sources compiled successfully
- sudo cp ./kernel/kernel-4.9/arch/arm64/boot/Image /boot/Image