I'm not sure how this is a kernel bug other than all system calls happening in the kernel. This is an issue in the man pages.