Indeed. Does M$ have a custom kernel for supercomputers?
If "custom" means "less gimped than the desktop kernel" then yes, they do. HPC Server (apparently) scales better when core count is in the thousands. It has a bunch of tools included that suit cluster computing as well, which are obviously not needed on desktops or most servers.