@vesuvius: That doesn't sound quite right. W8 & WP8 share the same kernel; beyond that the usermode stuff is different me thinks. WP7 was based on the WinCE kernel with its own usermode stuff.

Bottom line: kernel != OS.