[Update]:
When following these instructions provided by NVIDIA, the following errors occur.
/path/to/kernel/kernel-4.9/arch/arm64/boot/dts/Makefile:119: target 'arch/arm64/boot/_ddot_' given more than once in the same rule
This solution is described on another topic but in my case it doesn’t work, I admit I’m a bit at a loss for a solution. Can anyone think of a solution?