http://kernelnewbies.org You may have already tried here, but the Kernel Newbies group has a mailing list and IRC channel that is very friendly to new people working on the kernel. They may have an quick answer for you.