Android kernel for vivo