Kernel source are are not found in /usr/src/sys
Just did a test here with a RC1 ISO (out soon) and it seemed to load src
just fine, I got everything normal in /usr/src/sys. You sure you weren't
looking in the ports jail by mistake?