I am following this guide to build a kernel. But it seems like that instead of getting the headers from the kernel source they are using a github repository whi

I am following this guide to build a kernel. But it seems like that instead of getting the headers from the kernel source they are using a github repository which only contains the headers to save downloading time. All fine and dandy if the latest commit to this repo wasn't from 3 years ago!!