[imtringued]

This reminds me of ARM SBCs including the raspberry pi. The manufacturer creates a device specific build of Linux. Usually the vendor doesn't care and just provides you with an ancient 2.6 kernel because the SoC vendor provides GPU drivers that only support 2.6. There are also often device specific modifications in the kernel and since Chinese vendors don't care about upholding the GPL they just give you the kernel without source code.

Ironically nobody cares about these SBCs because of their poor software support for new versions of the linux kernel.