Microsoft built its own custom Linux kernel for its new IoT service