Kernel for the Xiaomi Redmi Note