I'm hopeful we will see kernel 4.something for the Gemini, maybe along with a release of Android O or P, but I don't think it will be any time soon. Long term, we'll be reliant on third parties getting newer kernels to run on the Mediatek SoC, because Mediatek will have moved on.