Kernel build for DE1-SoC

In line with another post I have made, I am in parallel trying to build a new kernel.

I want to add some devices to the kernel and have been following the very useful WS2 Linux Kernel Introduction For Altera SoC Devices - Lab 3 - SoC FPGA Linux Kernel guide by Rod Frazer and have hit a snag.

Unless I am missing something, the line saying

Isn’t preceded by a line telling us from where the patch should be downloaded.

I can’t find the patch so I can’t continue.

I’d be very grateful if someone can point out what I have missed please.