I see that they offer a handful of distros, but they seem to be handcrafted, pre-configured and pre-installed. Do they ship the kernel with random patches that

I see that they offer a handful of distros, but they seem to be handcrafted, pre-configured and pre-installed. Do they ship the kernel with random patches that will never see mainline inclusion, or is there a chance that these board will outlive the company that is manufacturing them?