Prebuilt kernel for Redmi 1S