Microsoft’s new operating system for IoT uses a custom Linux kernel