Xiaomi Redmi 1S kernel tree (do not use, just for headers)