Created attachment 208901 [details]
Creating a kernel tags file has been broken since the time when depend file were broken up into .depend.*.o files.
Here's a patch vs. CURRENT to fix this. Obviously it would be nice to also fix this for the next releases of 11, 12, and 13.