And at the bottom of the Platform data section there is a link to the source code, that when followed takes you to a git repository for kernel 3.2, not the 3.12 that is distributed with the 7.0.0.0 SDK.
I really don't want to sound harsh, and I do appreciate all of the work that has gone into all of this, but the documentation doesn't seem to be keeping up with the SDK versions. It does make it more difficult to try to build a working system.
Regards,
