No need to do this.
no need to do this either
on the https://source.android.com/source/devices page there is a “Building the kernel” section, just follow that as is
and make sure you run
make clean before proceeding.
once that is done go to the output folder, which should be out/target/product/hikey960/, and then
$sudo fastboot flash boot boot.img