Android kernel for Xiaomi Redmi 1S (armani)