Comment by hskimse

I didn't know Pixel maintained its own kernel patches. And if there is a delay in providing that code to Pixel buyers, from my perspective, that looks like a violation of the GPL.