Xiaomi APQ8064 kernel