Finally kernel sources are released for the Redmi 1s . But there was a catch at the same time as in India the government has blocked Github for some bullshit reason and so many developers could not get access to Github and download the kernel. So thanks to manoranjan2050 upload we have finally got a direct download link
DOWNLOAD (Dev-Host) : LINK
ADDITIONAL
The only way for now to go on Github is by using VPN
So first go to this LINK
Copy and paste this URL : https://github.com/
Kernel Sources (Github) : https://github.com/MiCode/H1S_kernel (Use the same VPN method to go to this link)