Beedub right now the rumor mill has it that they are using a slim Kernel like MiniWin but not actually MiniWin. Like i said this is all rumors and sepcualtion. There is no hard facts to back any o fit up right now other than a few people talking about the difference in some articles and how it is interprited.
I do hope that the Kernel gets slimed down and that the OS isnt as bloated. It will only benefit the users in the end.