Hmm, but the thing is, it seems that the kernel source isn't actually checked out in the android tree for some reasons (at least with this nitdroid gingerbread tree)

Or I'll need to check that out separately?

Thanks again, good luck with your study.