Add WindowsKernel platform support

Development
5

This should probably be filed as an issue for consideration of integration and testing. This discussion is probably relevant too.