Also add that Xiaomi violates the GPL license because it does not publish the source code of the Linux kernel