Xiaomi Redmi 6/6A's kernel source code is now available