Not only that but any company shipping Linux in IoT (or really any kind of hardware) usually compiles its own Linux kernel with needed custom modules. Not sure how this is news besides the IoT thing.

Those were made by Intel.