Comment 14 for bug 933045

Kernel headers are often included indirectly. All headers that are shipped in the libc-linux-dev package need to be safe wrt sharing the namespace with the libc headers. This is the exact reason that definitions such as __kernel_pid_t and __kernel_time_t exist.

So this remains a valid bug.