Apologies - I jumped to conclusions in my original bug report
After applying your patch and seeing it did not fix the issue, I did a bit of investigation myself.
The real problem isn't in the code however, but in my Makefile.
Adding that target to my Makefile resolved the issue, without any changes to the linux-source package.
So this bug is now invalid