User Feedback :: Wrong sources in the source directory?

The sources in /usr/include doesn't seem to match with the kernel version.

Is that a bug?

original here.