I would take that with a serious grain of salt. The kernel is also in the Xbox, the headset, the azure deployments in some form, the server os, etc. There are easy three other divisions neck deep in the funding of the kernel.