Xiaomi MIX3 is also SDM845, but I did not find MIX3 in the support list.My current kernel version is: 4.9.186, can I also use this D8G_Kernel.