That’s what I just did.
I have a semi-working system on which I’m attempting to install dahdi_dummy. I’ve been working on setting it up for a while, and while the kernel packages were held per the README, “apt upgrade” had been run a number of times.
So, per your prior post regarding needing to have a fresh image, I removed the SD card and re-imaged it. Prior to placing the card back into the Pi and booting, I did a few housekeeping items such as copying my saved configuration files in and changing hostname.
First thing after booting the Pi and logging in, I held the kernel packages with apt-mark. I then installed the required packages per the wiki, which as you know required refreshing the repositories with “apt update”.
Attempting to build using make threw the same error of not having the correct kernel sources.