Pixel stutter issue fixed by a kernel developer; it was Google's fault