Comment by jcalvinowens

> Those are glibc headers not Linux kernel headers.

You're right in principle: but more precisely, they are the kernel headers for the kernel version which the system glibc was built against. But they are actually from the kernel source, not the glibc source.