Since Windows mobile is basically a stripped down port of Windows I would imagine it has a very similar kernel. So yes, I bet there is a good bit of C in Windows Mobile with more of the low level stuff that is required to be small and fast written in Assembly. The shell, it wouldn't surprise me if it were written in C++.